{"id":"38f87844-504d-4aa9-b4a7-b02239846254","arxiv_id":"1908.01215","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper introduces weaker axioms for bicategories of fractions that permit smaller classes of invertible arrows, yielding small hom-categories and canonical representatives for 2-cells, and sketches how this applies to orbispaces.","lead":"This mathematics paper develops weaker conditions for building a bicategory of fractions, a tool that inverts arrows in a 2-dimensional category while preserving structure. The authors show these weaker conditions can make the resulting structure locally small and give cleaner descriptions of its 2-cells, with applications to orbifold groupoids.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Construction's bicategory axioms are not fully proved: Appendix B.4's pentagon coherence is a sketch, and Appendix C.3's right-whiskering well-definedness is explicitly deferred; Theorem 3.6 rests on both.","rationale":"The reader's weakest assumption was that the associativity coherence pentagon commutes, because Appendix B only sketches it. My stress-test agrees that this is a real gap, but I identify a second, equally load-bearing gap: the well-definedness of right whiskering, which Appendix C.3 explicitly leaves as a sketch and invites readers to contact the authors for details. Since horizontal composition of 2-cells in the constructed bicategory is built from left and right whiskering, a failure of well-definedness there would invalidate the claim that B(W^{-1}) is a bicategory. This is not a criticism of the mathematics being wrong; it is a precise statement that the proof of the central theorem is incomplete at two essential points. The paper has substantial independent value: it gives weaker axioms, a weakly initial subclass theorem, and interesting orbifold motivation, and the universal property argument may well go through once the coherence details are supplied. Therefore the appropriate verdict remains CONDITIONAL, not ACCEPT and not REJECT. My agreement_with_reader is partial because the reader emphasized only the associativity coherence, whereas the right-whiskering proof gap is just as load-bearing and is explicitly flagged in the manuscript as deferred.","tokens_in":53439,"tokens_out":2157,"duration_ms":25226,"concrete_test":"Complete the proof of Proposition B.4 by explicitly filling in each of the eight regions of the associativity pentagon and verifying, for every application of Propositions A.1, B.1, and B.2, that all hypotheses hold — in particular, each required W-membership such as w1w2s1r1 in W and u1v1s in W. Then complete Appendix C.3 by producing the full witness data (arrows, 2-cells, and all pasting equations) that show right whiskering is well-defined on equivalence classes; if either completion cannot be carried out from [WB1]-[WB5], Theorem 3.6 fails as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central existence claim, Theorem 3.6, asserts that B(W^{-1}) is a bicategory. A bicategory requires, among other things, coherent associativity and a well-defined horizontal composition on equivalence classes of 2-cells. The paper does not actually supply the proofs of these two requirements. Appendix B.4 says only 'We will only sketch the proof for the associativity pentagon' and then divides the pentagon into eight regions, asserting that 'one of the three results in Propositions A.1, B.1 and B.2' makes each region commute, with 'leaving the details for the reader.' Even the auxiliary Propositions B.1 and B.2 carry hypotheses that must be checked for each region, including specific W-membership conditions such as w1w2s1r1 in W; the paper does not verify these. More seriously, Appendix C.3, which proves that right whiskering is well-defined on equivalence classes, begins: 'We will sketch the proof... the details get rather involved and don't necessarily illuminate the idea... Any interested reader is welcome to contact the authors.' But right whiskering is part of the definition of horizontal composition of 2-cells. If right whiskering is not well-defined, then the composition operation on 2-cells in B(W^{-1}) is not well-defined, and Theorem 3.6 collapses. These are gaps in the proof of the main theorem, not merely cosmetic omissions. The paper's own text flags them as missing support; the stress-test rule requires treating such passages as explicit limitations.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper revisits the construction of bicategories of fractions. It introduces a weaker set of axioms [WB1]–[WB5] replacing Pronk's BF1–BF5, with [WB2] replacing closure of W under composition by a weaker condition that still allows composition of spans after precomposing with a suitable arrow. The authors construct a bicategory B(W^{-1}) whose 1-cells are single spans, define vertical and horizontal composition of equivalence classes of 2-cell diagrams, and state a universal property (Theorem 3.6). They also introduce weakly initial subclasses to obtain locally small hom-categories, prove an equivalence between the new construction and the classical bicategory of fractions for the closure of W under composition and invertible 2-cells, and study canonical representatives for 2-cells under full/co-full and fully faithful/co-fully faithful conditions. A final section sketches applications to orbispaces, with details deferred to a companion paper in preparation.","tokens_in":53697,"tokens_out":2734,"duration_ms":31787,"significance":"If fully correct, the paper makes a substantive contribution: it weakens the known axioms for a bicalculus of fractions, gives a pathway to locally small hom-categories via weakly initial subclasses, and provides canonical 2-cell representatives that simplify horizontal composition. The constructions and statements are original and do not reduce to cited results; the proofs are self-contained in style, and the paper explicitly builds on rather than assumes the main universal property. However, the central existence theorem 3.6 depends on associativity coherence (Appendix B.4) and on well-definedness of right whiskering (Appendix C.3), both of which are only sketched, with details explicitly left to the reader. These are load-bearing gaps, so the paper in its current form is not yet fully verified. The potential value of the results, especially for orbispaces, is high if the missing proofs are supplied.","major_comments":[{"comment":"The proof of the associativity coherence pentagon is only a sketch. The text states 'We will only sketch the proof for the associativity pentagon' and then divides the pentagon into eight regions, asserting that each commutes by one of Propositions A.1, B.1, and B.2, 'leaving the details for the reader.' A bicategory requires the full pentagon coherence for its associativity 2-cells, and Theorem 3.6 asserts that B(W^{-1}) is a bicategory. The hypotheses of Propositions B.1 and B.2 include specific membership conditions such as w1w2w3si in W, and the paper does not verify these for each region. The unit coherence laws are also dismissed as 'straight forward' without proof. As written, this is not a proof of the associativity coherence condition, and Theorem 3.6 is therefore not established.","section":"Appendix B.4, Proposition B.4"},{"comment":"Right whiskering is an essential part of horizontal composition of 2-cells, and its well-definedness on equivalence classes is required for the composition operation in B(W^{-1}) to be defined. Proposition C.3 begins: 'We will sketch the proof of this result as the details get rather involved and don't necessarily illuminate the idea behind the proof. Any interested reader is welcome to contact the authors for further details.' The subsequent argument is a lengthy diagram chase but explicitly leaves out details. Since Theorem 3.6 depends on right whiskering being well-defined, this is a load-bearing gap. The paper's own text flags this as missing support, and the reader cannot verify the claim from the manuscript.","section":"Appendix C.3, Proposition C.3"},{"comment":"The theorems about orbispaces state that the class of essential equivalences satisfies the necessary properties and that the resulting bicategory of fractions has small hom-categories, with 2-fully faithful universal maps and canonical pseudo-pullback representatives. The proofs are deferred to [6], which is 'in preparation'. While these results are not needed for the categorical core of the paper, they are billed as applications of the main results. If the authors intend to claim them, they should either include the proofs or explicitly mark the statements as conditional on the forthcoming paper.","section":"Section 7, Theorems 7.1 and 7.3"}],"minor_comments":[{"comment":"There is a typo in the abstract: 'adresses' should be 'addresses'.","section":"Abstract and Introduction"},{"comment":"The statement says 'a class W⊆ V which is initial in V', but Definition 4.1 defines 'weakly initial'. This should be corrected for consistency.","section":"Theorem 4.3"},{"comment":"Several diagrams, especially in Appendix C (e.g. diagrams (62) and (63)), are extremely dense and difficult to read. Splitting the pasting into smaller steps or adding labels to the arrows would improve verifiability.","section":"Figures and diagrams"},{"comment":"The notation wu,v is introduced for the arrow chosen via [WB2], but the superscript/subscript convention becomes hard to track in later sections; a summary table of the chosen arrows and their W-membership properties would help.","section":"Notation 3.2, [C1]"},{"comment":"The statement that the class C of essential covering maps is 'locally small' would benefit from a precise definition of what smallness means here (e.g., small over each object), since this is a main selling point of the orbifold application.","section":"Section 7"}],"recommendation":"major_revision","confidential_remarks":"The two underproved appendices are acknowledged by the authors themselves as sketches. For a journal publication, I would require complete proofs of the associativity coherence and of well-definedness of right whiskering, or a formal reduction to explicitly stated lemmas with all hypotheses verified. The orbispaces section also promises results in a paper 'in preparation'; this is acceptable if clearly marked, but the two missing proof details are central to the main theorem and should be provided before acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper before reading it closely. First, the core ideas are genuinely good: weakening BF2 to WB2, the weakly-initial-subclass theorem (4.3), and the canonical-representative results in Section 5 are real advances that will make bicategories of fractions easier to construct and use, especially for orbispaces. Second, the central existence theorem 3.6 is not fully proved in the manuscript: the associativity coherence of the new composition is only sketched in Appendix B, and well-definedness of right whiskering is explicitly deferred in Appendix C.3. Those are not cosmetic gaps; they sit under the main construction. If either fails, B(W^{-1}) as defined is not a bicategory. I don't think they do fail—the sketches are plausible and the authors clearly know the machinery—but as written, the paper asks the reader to take a lot on faith in exactly the places where the risk concentrates.\n\nThe strengths are real. The weakened axioms WB1–WB5 are carefully chosen, and the quotient/closure equivalence with the classical Pronk conditions (Theorem 4.9) is a solid contribution. The weakly initial subclass idea is simple and useful for small hom-categories; Corollary 4.5 genuinely strengthens Roberts's local essential-smallness result. Section 5's co-ff theorem (uniqueness of representatives with a given left-hand 2-cell, and 2-full/2-faithfulness of JW) is elegant and directly addresses the known awkwardness of equivalence classes of 2-cells. The pseudo-pullback simplifications in Section 6 are also well motivated, assuming the hypotheses hold; the orbispace application in Section 7 is honestly labeled as a sketch with proofs deferred, so I would not count it against the paper beyond noting it is not yet evidence.\n\nThe reader's conditional verdict is the right one. I agree with the stress-test note: the self-flagged gaps are real. Appendix B.4 divides the pentagon into eight regions and says each commutes by one of three propositions but leaves the details; Appendix C.3 explicitly says “interested reader is welcome to contact the authors.” A referee should press hard on these two points. That said, the surrounding arguments in Appendices A, C.1, and C.2 are detailed, and the main strategy—using Proposition 2.6 to mediate between choices—is coherent enough that I'd expect the gaps to be fillable rather than fatal.\n\nWho should read this: anyone doing localizations of bicategories in stacks, orbifolds, or internal category theory. It earns a serious referee. My recommendation: send it out, but insist that the associativity pentagon and right-whiskering well-definedness be either completed or explicitly stated as assumptions, perhaps in a companion note.","headline":"A useful weakening of the bicalculus axioms with real new content, but two load-bearing coherence proofs are explicitly sketched rather than given, so the main theorem is not fully verified as written.","tokens_in":54284,"tokens_out":1292,"would_cite":true,"duration_ms":18221,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18D05","18E35"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a bicategory of fractions can be constructed from conditions weaker than the classical calculus-of-fractions axioms, and that 2-cells in the resulting localization have canonical representatives when the inverted…","keywords":["bicategories of fractions","calculus of fractions","localization","weakly initial subclasses","small hom-categories","canonical representatives","pseudo pullbacks","orbispaces"],"falsifier":"Take a small finite bicategory and a class W satisfying [WB1]–[WB5] whose [WB2]-precompositions are nontrivial, and check by direct calculation whether every instance of the associativity pentagon from Appendix B commutes; if one instance fails, $B(W^{-1})$ as constructed is not a bicategory and Theorem 3.6 is false.","tokens_in":53197,"feed_emoji":"🧮","tokens_out":13615,"duration_ms":125150,"temperature":0.7,"pith_summary":"This paper claims that the standard calculus of fractions for bicategories, the tool for formally inverting a class of arrows, can be run from weaker axioms than the classical ones. In place of the requirement that the class of inverted arrows be closed under composition, the paper proposes condition [WB2]: given composable arrows in the class, one can precompose to get a composite that again lies in the class. With that weakening, a bicategory of fractions $B(W^{-1})$ can still be built from single spans and still satisfies the universal property of a localization (Theorem 3.6). The payoff is that one may invert a smaller generating subclass that is small over each object and yet get an equivalent localization, so the hom-categories can be small. The paper further establishes conditions—fullness and co-fullness of the inverted arrows—under which the equivalence classes defining 2-cells collapse to canonical representatives, making the universal map 2-fully faithful and horizontal composition tractable via pseudo pullbacks.","feed_headline":"Weak closure axiom still yields bicategories of fractions","feed_subtitle":"Weaker conditions let localization invert a smaller class, yielding small hom-categories and canonical 2-cells.","key_machinery":"The load-bearing object is a 2-cell diagram: a span together with an invertible left-hand 2-cell and a right-hand 2-cell, taken up to the paper's equivalence relation. The new axiom [WB2] is the mechanism that lets the construction work without composition-closure: whenever a composite of two W-arrows is needed, it supplies a further precomposing arrow so that the relevant composite returns to W; Notation 3.2 packages these choices and uses them to define composition, whiskering, and the associativity cells. A second mechanism is the notion of a weakly initial subclass (Definition 4.1): if W is weakly initial in a larger class V and satisfies [WB1] and [WB5], it automatically inherits the rest of the axioms and yields an equivalent localization. The third mechanism is the co-full (respectively co-fully faithful) property of an arrow: post-composition with such an arrow induces a full (respectively faithful) functor between hom-categories, which is exactly what makes representatives of 2-cells canonical.","core_discovery":"The paper's central claim is that the bicalculus-of-fractions conditions used in [5] are not necessary for localization. Theorem 3.6 proves that if W satisfies [WB1]–[WB5], with [WB2] replacing closure under composition by the requirement that each composable pair $v,w$ in W admit $u$ with $wvu\\in W$, then spans $\\xleftarrow{w} \\xrightarrow{f}$ with $w\\in W$ form a bicategory $B(W^{-1})$ whose canonical map $J_W\\colon B\\to B(W^{-1})$ sends W to internal equivalences and satisfies the universal property of the bicategory of fractions. Section 4 shows that the closure of W under composition and 2-isomorphism satisfies the original BF1–BF5 conditions, so $B(W^{-1})$ is biequivalent to the classical localization; moreover any weakly initial subclass satisfying [WB1] and [WB5] yields an equivalent bicategory of fractions. Sections 5–6 show that when the arrows of W are co-full, every 2-cell has a representative with any specified left-hand invertible 2-cell; when they are co-ff this representative is unique, the universal map is 2-full and 2-faithful, and pseudo pullbacks can be used as canonical left-hand cells to simplify horizontal composition.","pith_inferences":["The same weakly-initial-subclass transfer should apply to other localizations: whenever a large class of weak equivalences contains a small weakly initial subclass, the localization can be built from the small subclass and will be locally small, even if the whole class is not.","The co-full/co-ff conditions identify the exact point at which quotienting 2-cells by equivalence classes becomes unnecessary; this gives a general explanation for why 'faithful fractions' constructions can present a localization as a 2-category with no quotienting at all.","The pseudo-pullback representatives turn horizontal composition into a deterministic construction from universal properties, so hom-categories of such localizations should be computable in explicit examples beyond orbispaces, for instance whenever the inverted arrows admit pseudo pullbacks and are co-ff."],"forward_implications":["Any class W satisfying [WB1]–[WB5] yields a bicategory of fractions $B(W^{-1})$; its closure under composition and 2-isomorphism satisfies the classical axioms, so the new localization is biequivalent to the classical one and the universal property holds for pseudo, lax, and oplax transformations.","If W is weakly initial in V and satisfies [WB1] and [WB5], the inclusion induces a biequivalence $B(W^{-1})\\simeq B(V^{-1})$; when the weakly initial subclass is small over each object, the localization has small hom-categories.","When the arrows of W are co-ff, each 2-cell in the localization has exactly one representative with a prescribed left-hand 2-cell, and the universal map $J_W$ is 2-full and 2-faithful.","When pseudo pullbacks of W-cospans exist, W is pullback closed, and W-arrows are co-ff, every 2-cell has a unique pseudo-pullback representative, and horizontal composition is computed from the universal arrows of the pseudo pullbacks.","For orbigroupoids, essential equivalences satisfy the hypotheses, and the subclass of essential covering maps is locally small and weakly initial, so the localized orbifold bicategory has small hom-categories and canonical 2-cells."],"supporting_citations":[{"why":"Supplies the original BF1–BF5 conditions and the classical single-span construction of bicategories of fractions that this paper weakens and adapts.","marker":"[5]"},{"why":"Gives the classical category-of-fractions construction whose 1-categorical conditions are specialized in Corollary 4.11.","marker":"[3]"},{"why":"Provides earlier results on representations of 2-cells and on independence of choices in bicategories of fractions, used to justify well-definedness of composition and whiskering.","marker":"[12]"},{"why":"Introduces the WISC condition that yields locally essentially small localizations; the paper's weakly initial subclasses strengthen this to small hom-categories.","marker":"[9]"},{"why":"Develops a faithful calculus of fractions with small hom-categories using ff and co-ff cancellation, the properties the paper identifies as generating canonical 2-cell representatives.","marker":"[1]"},{"why":"Defines the motivating orbifold example as the bicategory of fractions of orbigroupoids with respect to essential equivalences.","marker":"[4]"},{"why":"Supplies the description of orbispaces via groupoids used in Section 7 as the motivating example for the small-hom and canonical-2-cell results.","marker":"[2]"},{"why":"Uses ff and co-ff properties to give canonical presentations of 2-cells in related 2-localizations, complementing the paper's Section 5 results.","marker":"[7]"},{"why":"Further develops 2-categories that admit localization by bicategories of fractions and the role of ff/co-ff arrows, cited alongside [7].","marker":"[8]"}],"fun_headline_variants":["Weaker axioms still yield bicategories of fractions","Small homs and canonical 2-cells in fractions","Canonical representatives for 2-cells in bicategories","Relaxed closure conditions still localize bicategories","Bicategorical fractions via weaker conditions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction stands or falls on whether the associativity pentagon for the new composition of spans commutes; the paper only sketches this verification in an appendix and leaves full details to the reader.","fun_headline_variants_meta":{"raw":{"variants":["Weaker axioms still yield bicategories of fractions","Small homs and canonical 2-cells in fractions","Canonical representatives for 2-cells in bicategories","Relaxed closure conditions still localize bicategories","Bicategorical fractions via weaker conditions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000424,"raw_usage":{"total_tokens":2191,"prompt_tokens":974,"completion_tokens":1217,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":590,"completion_tokens_details":{"reasoning_tokens":1144}},"tokens_in":590,"tokens_out":1217,"duration_ms":13688,"temperature":1.0,"reasoning_tokens":1144,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:19:20.149008+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a small finite bicategory and a class W satisfying [WB1]–[WB5] whose [WB2]-precompositions are nontrivial, and check by direct calculation whether every instance of the associativity pentagon from Appendix B commutes; if one instance fails, $B(W^{-1})$ as constructed is not a bicategory and Theorem 3.6 is false.","supporting_citations":[{"cited_title":"Pronk, Etendues and stacks as bicategories of fractions, Compositio Math., 102 (1996), pp","cited_arxiv_id":null,"evidence_quote":"Supplies the original BF1–BF5 conditions and the classical single-span construction of bicategories of fractions that this paper weakens and adapts."},{"cited_title":"Gabriel, M","cited_arxiv_id":null,"evidence_quote":"Gives the classical category-of-fractions construction whose 1-categorical conditions are specialized in Corollary 4.11."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides earlier results on representations of 2-cells and on independence of choices in bicategories of fractions, used to justify well-definedness of composition and whiskering."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the WISC condition that yields locally essentially small localizations; the paper's weakly initial subclasses strengthen this to small hom-categories."},{"cited_title":"Abbad, E","cited_arxiv_id":null,"evidence_quote":"Develops a faithful calculus of fractions with small hom-categories using ff and co-ff cancellation, the properties the paper identifies as generating canonical 2-cell representatives."},{"cited_title":"Moerdijk, D.A","cited_arxiv_id":null,"evidence_quote":"Defines the motivating orbifold example as the bicategory of fractions of orbigroupoids with respect to essential equivalences."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the description of orbispaces via groupoids used in Section 7 as the motivating example for the small-hom and canonical-2-cell results."},{"cited_title":"The elementary construction of formal anafunctors","cited_arxiv_id":"1808.04552","evidence_quote":"Uses ff and co-ff properties to give canonical presentations of 2-cells in related 2-localizations, complementing the paper's Section 5 results."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Further develops 2-categories that admit localization by bicategories of fractions and the role of ff/co-ff arrows, cited alongside [7]."}],"review_version":1}