{"id":"60d05a98-4542-4a3c-b6c6-025989fe5338","arxiv_id":"2411.15790","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A finite-limit-preserving functor with an admissible lifting property yields a Quillen equivalence presenting the universal model category of the target.","lead":"This paper gives a criterion for a functor between small categories to present the universal model category of its target using a localization of the universal model category of its source. The result recovers known equivalence statements from infinity-category theory with direct model-categorical proofs.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the alleged circularity between Corollary 1.12 and Corollary 1.6 is a misreading; the dependency is acyclic.","rationale":"I read the paper in good faith and attempted to locate the weakest premise of the central claim, Theorem 1.4. The proof of Theorem 1.4 is a standard Quillen-equivalence argument: Lemma 4.3 uses the admissible subcategories to reflect weak equivalences between cofibrant objects, and Lemma 4.4 uses the counit isomorphism and filtered comma categories to prove the derived counit is a weak equivalence. The hypotheses of finite limits and preservation are used exactly where expected (Lemmas 3.5, 3.6, 3.11, 4.1, 4.2, 4.4), and no step appears to require an unstated extra assumption. The main advertised flaw in the reader's verdict—circular dependency between Corollary 1.12 and Corollary 1.6—appears to be a misreading of the proof order. Corollary 1.12 invokes only the forward direction of Corollary 1.6, which is proved by Theorem 1.4 before Corollary 1.12 is needed; there is no cycle. The finite-limits restriction is a stated hypothesis, not an internal inconsistency, and the paper explicitly remarks (Remark 1.10) that the criterion is not optimal. Thus I find no load-bearing objection to the central claim. The only genuine but minor issue is the wording in Lemma 4.4 about the cofibrant replacement; choosing the UpC-cofibrant replacement repairs it. Therefore the reader's conditional concern does not land, and I would not move the verdict on that basis.","tokens_in":16360,"tokens_out":30669,"duration_ms":269044,"concrete_test":"Formalize the proof of Corollary 1.12 in a proof checker, allowing references only to Theorem 1.4, Lemma 3.18, and the (1)⇒(2) direction of Corollary 1.6 as a separately labeled lemma; if the formal proof type-checks without using Corollary 1.6's converse, the circularity objection is definitively resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's central concern—that Corollary 1.12 and Corollary 1.6 are mutually dependent—does not hold. Corollary 1.12 is proved by applying only the (1)⇒(2) direction of Corollary 1.6 to the localization functor, and that direction is established independently from Theorem 1.4 (with A_d = C_d via Lemma 3.6 and Example 3.9). Corollary 1.6's remaining (2)⇒(1) direction then uses Corollary 1.12, so the dependency graph is acyclic: Theorem 1.4 ⇒ Cor 1.6(1⇒2) ⇒ Cor 1.12 ⇒ Cor 1.6(2⇒1). The proof of Theorem 1.4 itself is internally coherent: finite limits and preservation give filteredness of the comma categories (Lemma 3.5, nonempty case), initiality of the admissible restrictions (Lemma 3.11), and the counit/unit arguments of Lemmas 4.1–4.4. The only minor gap is that Lemma 4.4's cofibrant replacement should be taken in UpC, not merely in L_SA, so that the replacement map is an objectwise weak equivalence; this is an immediate repair and does not affect the theorem's validity.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper gives a criterion for a functor F:C→B between small categories to generate a small presentation of the universal model category U(B) in the sense of Dugger. Under the assumptions that C has finite limits, F preserves finite limits, F is essentially surjective, and for each d∈C there exists an F-admissible subcategory A_d of C_d, Theorem 1.4 establishes a Quillen equivalence between L_{S_A}U(C) and U(B). The proof goes through a sequence of lemmas on comma categories, initial functors, filtered colimits, and the derived unit and counit of the induced adjunction. The paper derives three corollaries: a characterization of equivalences of categories by universal equivalences (Corollary 1.9), a Quillen equivalence for localizations satisfying the calculus of right fractions (Corollary 1.12), and a discussion of when a functor generates a presentation. It closes with examples involving sheaf categories, simplicial sets and topological spaces, and categories.","tokens_in":16603,"tokens_out":31832,"duration_ms":282041,"significance":"If the main theorem is correct, it provides a useful, fairly general presentation theorem for universal model categories, with direct model-categorical proofs of statements often obtained via ∞-category theory. The proof of Theorem 1.4 is self-contained and detailed, and the paper is careful about the finite-limit hypotheses. The alleged circularity between Corollary 1.12 and Corollary 1.6 is a misreading: Corollary 1.12 uses only the (1)⇒(2) direction of Corollary 1.6, which is proved from Theorem 1.4, so the dependency is acyclic. I found no error in the main theorem's proof beyond the clarification needed in Lemmas 4.4 and 4.5. However, one of the examples, Example 5.6, is invalid, and there are several local gaps in proofs that need to be addressed.","major_comments":[{"comment":"Example 5.6 is not valid as written. The example asserts that Sing is fully faithful for the adjunction |•|:sSet⇄Top:Sing; as an ordinary functor, Sing is faithful but not full, since full faithfulness holds only after deriving, not on the nose. Consequently Proposition 5.3 cannot be applied to this adjunction. Moreover, the claim that the localization map (5.11) is not injective is unsupported: the two endpoint inclusions Δ0→Δ1 are not identified by localizing at morphisms whose geometric realization is a homeomorphism. Please replace this example with a correct one or remove it, and do not use it as evidence that Up(−) does not preserve Quillen equivalences.","section":"§5, Example 5.6"},{"comment":"In Lemma 4.4 and in Lemma 4.5, the proofs use the assertion that the cofibrant replacement pF*Y of F*Y is a weak equivalence in Up(C). This is not automatic for an arbitrary cofibrant replacement taken in L_{S_A}(Up(C)); the filtered-colimit argument only applies when pF*Y is an objectwise weak equivalence. The proof should explicitly choose pF*Y to be a cofibrant replacement in Up(C), which is also a cofibrant replacement in L_{S_A}(Up(C)), and note this at the point where (4.11) and the corresponding part of Lemma 4.5 are used.","section":"§4, Lemmas 4.4 and 4.5"},{"comment":"Lemma 3.14 is stated without proof and is used in the proof of Corollary 1.6 to deduce the Cd-lifting property from fullness of the functor H. This is a load-bearing point for the converse direction of Corollary 1.6. The lemma is a consequence of Lemma 3.15(2) applied to the subcategories A^Σ_d, since Σ⊆C_d, but the argument is not given. Please add a proof or a precise reference.","section":"§3, Lemma 3.14"}],"minor_comments":[{"comment":"The sentence 'Thus Corollary 1.6 reduces to Corollary 1.9' appears to have the direction reversed; the surrounding argument shows that Corollary 1.9 follows from Corollary 1.6. Please rephrase to make the logical flow clear.","section":"§1, proof of Corollary 1.9"},{"comment":"Remark 4.7 states that Corollary 1.12 can be proved directly using Theorem 1.4 and Lemma 3.18, but no direct proof is given. Either supply the promised proof or remove the claim.","section":"§4, Remark 4.7"},{"comment":"The proof of Lemma 3.11 is hard to follow because diagram (3.17) uses the symbol e1 for several different objects. Please rewrite the proof with distinct labels for the objects involved in the cofilteredness and equalizer steps.","section":"§3, proof of Lemma 3.11"},{"comment":"There are several grammatical and typographical errors: for example, 'F have Ad-lifting property' in Definitions 3.7 and 3.8 should be 'F has'; Remark 4.8 'homotopical pretension' should presumably be 'homotopical presentation'; the header of the paper contains a mis-spaced 'PRESENT A TION'. Please correct these.","section":"Throughout"},{"comment":"Remark 1.7 states that SC admits the calculus of right fractions without proof; this fact is used in the proof of Corollary 1.6. Please add a reference or a one-sentence justification.","section":"§1, Remark 1.7"}],"recommendation":"major_revision","confidential_remarks":"The main theorem appears sound, and the paper is publishable after the example in §5.6 is corrected or removed and the local rigor issues in Lemmas 4.4, 4.5, and 3.14 are fixed. I also note that the citation to [Lee24] is an unpublished preprint; if any part of the paper relies on it, please ensure it is publicly available in a stable form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nI read Lee's 'Homotopical presentation of categories' with the referee's concerns in hand. The alleged circularity between Corollary 1.12 and Corollary 1.6 does not hold up. Corollary 1.12 invokes only the (1)->(2) direction of Corollary 1.6, which follows directly from Theorem 1.4. The converse direction (2)->(1) of Corollary 1.6 uses Corollary 1.12 afterwards. The dependency graph is acyclic: Theorem 1.4 => Cor 1.6(1->2) => Cor 1.12 => Cor 1.6(2->1). So the referee's strongest objection is a misreading.\n\nWhat is actually new is Theorem 1.4: a criterion for a finite-limit-preserving functor F:C->B, essentially surjective, with F-admissible subcategories, to generate a homotopical presentation of U(B). The proof is careful and largely self-contained, with the key Lemma 3.11 showing F_d restricted to an admissible subcategory is initial. The three corollaries are known results in infinity-category clothing, explicitly acknowledged as such, but the direct model-categorical proofs here have independent value, particularly for someone who wants to avoid quasi-category technology. The examples (sheaf localization, sSet/Top, nerve) are instructive.\n\nThe real soft spot is small. In Lemma 4.4, the cofibrant replacement of F*Y is taken in L_S_A(UpC). But the proof uses that this replacement is an objectwise weak equivalence in UpC. A cofibrant replacement in the localized category need not be an objectwise equivalence, since the weak equivalences are coarser. The fix is to choose a cofibrant replacement in UpC, which is also cofibrant in the localization (cofibrations are unchanged) and gives an objectwise weak equivalence. This is an immediate repair and does not affect the statement of Theorem 1.4. Similarly, Remark 4.7 promises a direct proof of Corollary 1.12 that would bypass the result, but it isn't supplied; since the proof via Cor 1.6 is logically sound, this is only a matter of presentation.\n\nThe blanket finite-limit assumption on C and preservation by F is strong, but the author explicitly notes in Remark 1.10 that the characterization is not optimal, pointing to Cauchy completion. That is honest.\n\nOverall: the main theorem is new, the proofs are mostly rigorous, and the flaws are minor. I'd send this to peer review with a request for the small fix in Lemma 4.4. Worth citing for the criterion and the direct proofs. Bring to reading group if you're working on presentations of model categories.","headline":"Alleged circularity in the proof is a misreading; the dependency loop is actually acyclic, and the paper is a solid contribution needing only a small fix in Lemma 4.4.","tokens_in":17173,"tokens_out":3270,"would_cite":true,"duration_ms":26062,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18N40","14C20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes a sufficient condition on a functor between small categories for it to generate a homotopical presentation of the universal model category of its target.","keywords":["universal model category","homotopical presentation","Quillen equivalence","left Bousfield localization","admissible subcategory","comma category","calculus of right fractions","simplicial presheaves"],"falsifier":"Let $F:C\\to \\Delta[0]$ be the unique functor from the two-object poset $C=\\{0<1\\}$, which has finite limits, to the terminal category; the theorem predicts that localizing $U(C)$ at the single non-identity map yields a model category Quillen equivalent to $U(\\Delta[0])$. Computing the homotopy category of that localization directly would settle whether the criterion holds in this simplest case.","tokens_in":16092,"feed_emoji":"🔄","tokens_out":10448,"duration_ms":90952,"temperature":0.7,"pith_summary":"The paper gives a criterion for a functor between small categories to present the universal model category of its target by generators and relations. If the source category has finite limits, the functor preserves them, is essentially surjective on objects, and each associated comma category contains a cofiltered admissible subcategory with a lifting property, then localizing the source's universal model category at the corresponding morphisms yields a Quillen equivalence with the target's. This matters because it turns a homotopical statement about model categories into finitary categorical data that can be checked object by object. The criterion recovers known characterizations: equivalences of categories coincide with universal equivalences, and localizations admitting a calculus of right fractions induce Quillen equivalences.","feed_headline":"Lifting comma categories yields homotopical presentations","feed_subtitle":"A finite-limit functor with admissible comma subcategories yields a Quillen equivalence of universal model categories.","key_machinery":"The load-bearing object is the $F$-admissible subcategory: for each object $d$ of $C$, one looks at the comma category $C_d$ whose objects are morphisms $e\\to d$ in $C$ that $F$ sends to isomorphisms in $B$, and a subcategory $A_d$ is $F$-admissible when it is cofiltered and $F$ has the $A_d$-lifting property, meaning every morphism $Fd\\to Fe$ in $B$ can be traced back through an object of $A_d$. Such subcategories are used to prove that the restricted functor $F_d|_{A_d}$ is initial, and that is what makes the filtered colimits over the comma categories compute correctly. The proof then runs on the standard Quillen-equivalence recognition criterion: show the derived counit is an isomorphism and the derived unit is a weak equivalence.","core_discovery":"The central claim is Theorem 1.4: for small categories $C$ and $B$ and a functor $F:C\\to B$ with $C$ finitely complete and $F$ preserving finite limits, $F$ generates a homotopical presentation of $B$ with generator $C$ and relation $S_A$ whenever $F$ is essentially surjective on objects and, for every object $d$ of $C$, there is an $F$-admissible subcategory $A_d$ of the comma category $C_d$. Concretely, the induced Quillen adjunction $F_*: L_{S_A}(U(C)) \\rightleftarrows U(B): F^*$ is a Quillen equivalence, so the homotopy theory of $U(B)$ is presented by $C$ with the morphisms in $S_A$ inverted. The proof shows that under these hypotheses the derived counit is an isomorphism and the derived unit is a weak equivalence after localization. This gives a direct model-categorical route to results that are often treated with infinity-categorical machinery.","pith_inferences":["A practical corollary the author leaves implicit is that the criterion turns the search for a Quillen equivalence into a finite-limit-plus-lifting check on comma categories, so one can hunt for presentations by looking for cofiltered subcategories instead of constructing model structures.","The same admissible-subcategory pattern should dualize to co-universal model categories and left fractions, and the paper states a dual version in Proposition 5.9; testing whether the lifting condition can be relaxed to filtered admissible subcategories on colimit comma categories would be a natural next step.","The paper's closing remark points toward algebraic geometry: ampleness of a divisor could be characterized by whether a certain functor's comma categories admit admissible subcategories, which would make positivity a homotopical-presentation question."],"forward_implications":["The theorem reduces the existence of a small presentation to a check on comma categories: essentially surjective on objects plus, for each $d$, an $F$-admissible subcategory $A_d$ of $C_d$.","Corollary 1.6 characterizes the presentation using all $F$-inverted morphisms: it holds exactly when $F$ is essentially surjective and has the $C_d$-lifting property for every $d$.","Corollary 1.9 identifies equivalences of categories with universal equivalences under the finite-limit hypothesis, so the universal model category reflects weak equivalences on that class of categories.","Corollary 1.12 gives a model-categorical version of the calculus of right fractions: for a fractionable set $\\Sigma$, $L_\\Sigma(U(C))$ is Quillen equivalent to $U(C[\\Sigma^{-1}])$.","The examples use the criterion to produce presentations for sheaves and topological spaces, and show that $U(-)$ does not preserve Quillen equivalences in general."],"supporting_citations":[{"why":"Supplies the comma-category colimit formula for the left Kan extension $F_*$ used throughout the proof.","marker":"[Art62]"},{"why":"Defines the universal model category $U(C)$ and the notion of a small presentation that Theorem 1.4 targets.","marker":"[Dug01b]"},{"why":"Provides the existence and basic properties of left Bousfield localization, so $L_{S_A}(U(C))$ is a model category.","marker":"[Hir03]"},{"why":"Supplies the Quillen-equivalence recognition criterion used to conclude that the adjunction is a Quillen equivalence.","marker":"[Hov99]"},{"why":"Supplies the calculus of right fractions that drives Corollaries 1.6 and 1.12 and the construction of admissible subcategories from a fractionable set.","marker":"[GZ67]"},{"why":"Provides the canonical isomorphism $F_* \\mathrm{hom}_C(-,y) \\cong \\mathrm{hom}_B(-,Fy)$ that underlies full-and-faithfulness arguments.","marker":"[Cis19]"},{"why":"Gives the cofilteredness criterion used to show subcategories built from a set with a calculus of right fractions are admissible.","marker":"[KS06]"},{"why":"Provides the Cauchy completion example showing the finite-limit hypothesis is not optimal, and the split-idempotent equalizer fact used in Lemma 4.5.","marker":"[BD86]"}],"fun_headline_variants":["Admissible commas + finite limits give Quillen equivalences","Homotopical presentations from admissible comma data","Quillen equivalence via essential surjectivity and admissible commas","Presenting model categories without infinity-categorical tools"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the source category $C$ has all finite limits and the functor $F$ preserves them.","fun_headline_variants_meta":{"raw":{"variants":["Admissible commas + finite limits give Quillen equivalences","Homotopical presentations from admissible comma data","Quillen equivalence via essential surjectivity and admissible commas","Presenting model categories without infinity-categorical tools"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001559,"raw_usage":{"total_tokens":6141,"prompt_tokens":769,"completion_tokens":5372,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":385,"completion_tokens_details":{"reasoning_tokens":5307}},"tokens_in":385,"tokens_out":5372,"duration_ms":36801,"temperature":1.0,"reasoning_tokens":5307,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:56:41.269723+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Let $F:C\\to \\Delta[0]$ be the unique functor from the two-object poset $C=\\{0<1\\}$, which has finite limits, to the terminal category; the theorem predicts that localizing $U(C)$ at the single non-identity map yields a model category Quillen equivalent to $U(\\Delta[0])$. Computing the homotopy category of that localization directly would settle whether the criterion holds in this simplest case.","supporting_citations":[],"review_version":1}