REVIEW 4 major objections 4 minor 22 references
A model structure on the category of A$_\infty$-categories with strict morphisms
T0 review · 4 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The author proves that the category of strictly unital A∞-categories with strict morphisms carries a cofibrantly generated model structure, making semi-free A∞-categories cofibrant and every object fibrant.
desk verdict First model structure on strict A∞-categories: right result, credible strategy, but the proof of the key pushout claim is sketched to the point of being a gap. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The proof is built on the Recognition Theorem for cofibrantly generated model structures. The generating cofibrations are the same as those of the standard DG-category model structure; the generating trivial cofibrations are an inclusion $F'\colon \mathcal{A}\to K_{A_\infty}$ together with the inclusions $R(n)\colon \mathcal{B}\to \mathcal{P}(n)$. Here $K_{A_\infty}$ is a two-object semi-free A∞-category, a resolution of the category with two objects and two mutually inverse morphisms, generated by closed morphisms $j_{12}$, $j_{21}$ together with two degree-one generators whose differential $m^1$ makes the two morphisms inverse up to homotopy. The decisive step is condition 4 of the Recognition Theorem, which requires pushouts of generating trivial cofibrations to be quasi-equivalences. For the pushout along $F'$, the paper shows that the hom-spaces of the glued category are given by the tensor-product formula (14), in which the quotient complex $K_{A_\infty}(1,1)/R\cdot 1_1$ appears as a factor; because $K_{A_\infty}(1,1)$ is homotopy equivalent to $(R,0)$ and the unit splits, this quotient is contractible, and so the inclusion into the pushout is a quasi-isomorphism.
What would settle it
Run the pushout computation of (13) for a minimal test case—say $\mathcal{M}$ the one-object A∞-category with hom-complex $(R,0)$—and verify the universal property of the pushout term by term; at the same time compute $H^n(K_{A_\infty}(1,1)/R\cdot 1_1)$ directly from the generators and the differential $m^1$. A nonzero cohomology group, or a mismatch with formula (14), would show that condition 4 fails and Theorem A is false.
Extended reading notes
Core claim
The central claim is Theorem A: the category $\mathrm{A_\infty Cat}_{\mathrm{strict}}$ of strictly unital A∞-categories over a commutative ring $R$, with strict A∞-functors, admits a cofibrantly generated model structure whose weak equivalences are the quasi-equivalences. Fibrations are exactly the strict A∞-functors that are isofibrations and surjective on morphisms, and every object is fibrant. If $\mathcal{A}$ is cofibrant, then each hom-object $\mathcal{A}(x,y)$ is a cofibrant object in the category of unbounded chain complexes over $R$, hence in particular h-projective. The paper then deduces that the semi-free A∞-categories are cofibrant, and that the semi-free resolutions constructed in earlier work are cofibrant resolutions, so every A∞-category has a cofibrant replacement whose hom-spaces are cofibrant. This gives the previously informal term 'cofibrant A∞-category' a precise meaning.
Load-bearing premise
The construction rests on two assumptions: that pushouts of the generating trivial cofibration $F'$ are computed by the tensor-product formula (14), and that the quotient complex $K_{A_\infty}(1,1)/R\cdot 1_1$ is contractible, a fact cited to earlier work rather than proved here. If either of these fails, condition 4 of the Recognition Theorem, and with it the whole model structure, collapses.
Editorial extensions
If this is right
- Semi-free A∞-categories are cofibrant objects, and the semi-free resolutions previously used to compute homotopy categories are cofibrant resolutions, so every A∞-category has a cofibrant replacement by a semi-free category.
- Since every object is fibrant, any cofibrant replacement is automatically a fibrant-cofibrant replacement; no separate fibrant replacement step is needed.
- Cofibrant A∞-categories have cofibrant hom-objects in the category of unbounded chain complexes over $R$, and hence h-projective hom-spaces, so the term 'cofibrant A∞-category' now has a model-theoretic justification rather than being only an analogy with DG-categories.
- Fibrations are characterized explicitly as strict isofibrations surjective on morphisms, so right lifting properties and the associated homotopy theory of $\mathrm{A_\infty Cat}_{\mathrm{strict}}$ can be computed concretely.
- Because the model structure is cofibrantly generated and the category is complete and cocomplete, standard Quillen model-categorical machinery such as homotopy limits, homotopy colimits, and derived functors applies to $\mathrm{A_\infty Cat}_{\mathrm{strict}}$.
Reading between the lines
- Because every object is fibrant, the semi-free cofibrant replacement of an object is simultaneously a fibrant replacement; the author does not spell this out, but it means the homotopy category of $\mathrm{A_\infty Cat}_{\mathrm{strict}}$ can be modelled entirely by semi-free categories.
- The tensor-product formula (14) is concrete enough to serve as a recipe: for any category obtained by gluing along a semi-free resolution, hom-spaces reduce to tensor products with the contractible quotient $K_{A_\infty}(1,1)/R\cdot 1_1$, so the model structure can be checked on explicit examples by direct computation.
- By analogy with the homological algebra of DG-categories, where cofibrant objects with cofibrant hom-spaces play a central role, this model structure is a natural foundation for a derived representation theory of A∞-categories; the paper stops once the model structure is established, but the explicit cofibrant objects make that extension a plausible next step.
- The same Recognition Theorem argument might adapt to other settings with strict morphisms, such as strictly unital algebras over other algebraic operads, whenever the relevant pushouts are known to exist and the analogous quotient complexes are contractible.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to construct a cofibrantly generated model structure on A∞Catstrict, the category of strictly unital A∞-categories with strict A∞-functors over a commutative ring R, whose weak equivalences are quasi-equivalences. The proposed generating cofibrations are the DG-category generators Q and S(n) adapted to A∞-categories, and the generating trivial cofibrations are F′: 𝒜→K_A∞ and R(n). The proof invokes Hovey's Recognition Theorem and reduces the main work to verifying condition 4, namely that J′-cell maps are weak equivalences. The paper also derives consequences: all objects are fibrant, fibrations are degreewise-surjective isofibrations, and cofibrant A∞-categories have cofibrant hom-spaces, hence are cofibrant in the sense of the semi-free resolution framework.
Significance. If the main theorem is correct, it gives a genuine Quillen model structure on a category of A∞-categories with strict morphisms, a result that has been missing in the literature and would justify the terminology 'cofibrant A∞-category' in the sense of the author's earlier work. The paper is well organized and the overall strategy, using the Recognition Theorem and adapting the DG-category generators, is natural. The lifting characterizations in Lemma 3.2 are a useful and reasonably explicit part of the argument, and the connection to semi-free resolutions is a compelling motivation. However, the proof of the central condition 4 is not completed in the manuscript: the pushout formula on which it relies is asserted rather than proved and, as printed, is not even well formed. Because this gap is load-bearing, the main theorem cannot be accepted on the basis of the present text.
major comments (4)
- [§3, Eq. (14)] The displayed pushout formula (14) is load-bearing for condition 4 of the Recognition Theorem, but as printed it cannot be correct. For m=0 the formula gives 𝒫(0)(x,y)=ℳ(z,y)⊗ℳ(x,z), so the chain complex ℳ(x,y) does not occur as a summand and the map inc: ℳ(x,y)→𝒫(x,y) is not even defined. Even if one inserts the evident correction (ℳ(x,y) for the m=0 term and alternating contractible factors for m≥1), the assertion that this tensor-product formula computes the pushout in A∞Catstrict is not proved and is not immediate: the pushout must respect the A∞ operations and strictness of the maps, not merely describe the underlying graded modules. Since the quasi-isomorphism of inc is exactly what is needed to prove J′-cell⊂𝒲, Theorem 3.1 is not established as written.
- [§3, pushout for R(n)] The same defect occurs in the pushout computation for the generating trivial cofibration R(n) after Eq. (16). The displayed formula again has an m=0 term of the form ℳ(T(5),y)⊗ℳ(x,T(4)), rather than ℳ(x,y), so the inclusion inc is not defined from the stated formula. The contractibility of 𝔻ₙ alone does not repair this: one first needs a correct description of the actual pushout in A∞Catstrict, and then a proof that the map on hom-complexes is a quasi-isomorphism. This part of condition 4 is therefore also unsupported.
- [§3, proof of Theorem 3.1] The proof states 'It is easy to verify item 1. 2. and 3.' of Theorem 2.1, but conditions 2 and 3 require the domains of I and J′ to be small relative to I-cell and J′-cell respectively. No argument is supplied, and in A∞Catstrict this is not a formality: the relevant colimits are colimits of A∞-categories with strict morphisms, which are not computed simply as colimits of underlying chain complexes. A proof or a precise citation for smallness is needed.
- [§3, definition of K_A∞] The computation displayed at the end of the construction of K_A∞ is self-contradictory. The text claims that m₁((r₁,f)−(f,r₂)) equals (f,g,f)−(f,g,f), and then writes '≠ 0'. As written, the right-hand side is 0. If a sign convention is intended that prevents cancellation, the signs must be displayed; if the terms do cancel, then the claimed need for the extra generator r₁₂ in the A∞ case is not demonstrated. This point is not merely cosmetic, since it is part of the justification for the chosen generating trivial cofibration F′.
minor comments (4)
- [§3, Corollary 3.3] Corollary 3.3 refers to 'Lemma 3.1', but the relevant statement appears to be Lemma 3.2; the cross-reference should be corrected.
- [§3, Definition 3.2] Definition 3.2 requires ℱ₁ to be a surjective quasi-isomorphism of complexes, but Lemma 3.2 and the later characterization of fibrations only use degreewise surjectivity of ℱ₁. The definition should be aligned with the statements in which it is used.
- [§3, essential surjectivity after Eq. (14)] In proving that H⁰(inc) is essentially surjective, the text says that N′(2) is quasi-isomorphic to N′(1)=z. This requires an explicit quasi-isomorphism in H⁰(𝒫) between the new object and the image object; the argument would be clearer if that morphism were identified.
- [References] Reference [20] is listed with the arXiv identifier math/0310337, which is the same as the identifier given for [12]; this is likely a typo in the bibliography.
Circularity Check
No constructional circularity: Theorem A is proved from Hovey's Recognition Theorem with fixed generating sets and no fitted parameters; the only circularity-adjacent feature is reliance on the author's prior papers for completeness and semi-free lifting, which are independent published results.
full rationale
The derivation is not circular. Theorem A is verified via the six Recognition Theorem conditions: weak equivalences are fixed as quasi-equivalences, generating sets I and J' are explicit, and fibrations are characterized by lifting properties in Lemma 3.2. No quantity is fitted to data, no object is defined by the property it later predicts, and no known result is merely renamed. The self-citations to [15] (A∞Catstrict complete/cocomplete; semi-free A∞-categories have a lifting property; h-projective split-unit semi-free resolutions) are load-bearing prerequisites, but they are presented as previously proved published theorems with assumptions that do not include Theorem A, so they count as independent support rather than circular assumption. The most serious weakness is a correctness gap, not a circular one: in condition 4, the pushout computation (14) is asserted without verifying the universal property in A∞Catstrict, and as printed its zeroth summand is ℳ(z,y)⊗ℳ(x,z), so the displayed 𝒫(x,y) does not contain ℳ(x,y) and the map inc:ℳ(x,y)→𝒫(x,y) is undefined. A corrected formula would need an ℳ(x,y) summand and a check that the A∞-operations are amalgamated correctly. This missing proof is load-bearing, but since inc being a quasi-isomorphism is not assumed as input, it does not make Theorem A equivalent to its assumptions. Score 2 reflects the minor non-circular self-citation burden, not a reduction of the central claim to its inputs.
Assumptions & free parameters
assumptions (6)
- standard math Hovey's Recognition Theorem (Theorem 2.1) is used to establish the model structure.
- domain assumption A∞Catstrict is complete and cocomplete, and thus admits the colimits and limits required by the Recognition Theorem.
- domain assumption K_A∞ is a semi-free A∞-category with h-projective split-unit hom-spaces, quasi-equivalent to the category I.
- domain assumption The right lifting property characterizations for generating maps R(n), S(n), F', and Q given in Lemma 3.2 are correct, transferring Tabuada's DG-category arguments to A∞-categories.
- standard math Transfinite compositions of quasi-equivalences are quasi-equivalences.
- domain assumption The pushout formula (14) for attaching K_A∞ to an arbitrary A∞-category is valid, and the inclusion is a quasi-isomorphism.
Cite this review
Pith. "Pith review of A model structure on the category of A$_\infty$-categories with strict morphisms." pith.science (2026). https://pith.science/paper/QFEATURG
@misc{pith2026250622847,
author = {Pith},
title = {Pith review of: A model structure on the category of A$_\infty$-categories with strict morphisms},
year = {2026},
howpublished = {\url{https://pith.science/paper/QFEATURG}},
note = {Machine review of arXiv:2506.22847}
}
abstract
We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the cofibrant objects have cofibrant morphisms. As a consequence we prove that the semi-free A$_\infty$-categories (resp. resolutions) are cofibrant objects (resp. resolution) in this model structure.
Reference graph
Works this paper leans on
-
[15]
Ornaghi, The Homotopy Theory of A∞categories, Int
M. Ornaghi, The Homotopy Theory of A∞categories, Int. Math. Res. Not.,2025, no. 11, (2025).https: //doi.org/10.1093/imrn/rnaf127
-
[1]
Differential graded homological algebra
L. Avramov, H.B. Foxby, S. Halperin. “Differential graded homological algebra.” (1994-..). Preprint
work page 1994
-
[2]
Localizations of the categories of A∞-categories and Internal Homs
A. Canonaco, M. Ornaghi, P. Stellari. “Localizations of the categories of A∞-categories and Internal Homs.” Doc. Math. 24, (2019):2463-2492. https://doi.org/10.25537/dm.2019v24.2463-2492
-
[3]
Localizations of the categories of A∞-categories and Internal Homs over a ring
A. Canonaco, M. Ornaghi, P. Stellari. “Localizations of the categories of A∞-categories and Internal Homs over a ring.” (2024). Preprint available athttps://arxiv.org/abs/2404.06610
arXiv 2024
-
[4]
A remark on fibrancy of ($\mbox{A$_{\infty}$Cat}$,$W^{\tiny\mbox{A}_{\infty}}_{\tiny\mbox{qe}}$)
X. Chen, M. Ornaghi. “A Remark on fibrancy of A∞Cat.” (2024). Preprint available athttps://arxiv.org/ abs/2412.13347
work page Pith review arXiv 2024
-
[5]
V. Drinfeld. “DG quotients of DG categories.”J. Algebra 272, no. 2 (2004):643-691. https://doi.org/10. 1016/j.jalgebra.2003.05.001
work page 2004
-
[6]
Floer homology and mirror symmetry II
K. Fukaya. “Floer homology and mirror symmetry II.”Adv. Stud. Pure Math. 34, Math. Soc. Japan, Tokyo, (2002):31-127.https://doi.org//10.2969/aspm/03410031
-
[7]
K. Fukaya, Y.-G. Oh, H. Ohta, K. Ono,Lagrangian intersection Floer theory: anomaly and obstruction. Part I.AMS/IP Studies in Advanced Mathematics, v.46,2, (2009)
work page 2009
Show all 22 references
-
[8]
Sectorial descent for wrapped Fukaya categories
S. Ganatra, J. Pardon, and V. Shende. “Sectorial descent for wrapped Fukaya categories.” J. Am. Math. Soc., 37(2):499-635, 2024. A model structure on A ∞Catstrict 9
2024
-
[9]
Homological algebra of homotopy algebras
V. Hinich. “Homological algebra of homotopy algebras.” Comm. Algebra 25, no. 10 (1997):3291-3323. https://doi.org/10.1080/00927879708826055
1997 doi
-
[10]
Model categories
M. Hovey. “Model categories.” American Mathematical Society, Providence, RI, 1999.https://doi.org/10. 1090/surv/063
1999
-
[11]
Notes on A∞ algebras, A∞ categories, and non-commutative geometry
M.Kontsevich, Y.Soibelman. “Notes on A∞ algebras, A∞ categories, and non-commutative geometry.” in: Homological Mirror Symmetry: New Developments and Perspectives (A.Kapustin et al. (Eds.)),Lect. Notes Phys. 757 (Springer, Berlin Heidelberg) (2009):153-219.https://doi.org/10.1...
2009 doi
-
[13]
∞-categorical universal properties of quotients and localizations of A ∞- categories
H. L. Tanaka, Y.-G. Oh. “∞-categorical universal properties of quotients and localizations of A ∞- categories.” (2024). Preprint available athttps://arxiv.org/abs/math/2003.05806
2024
-
[14]
Comparison results about dg categories, A∞-categories, stable∞-categories and noncom- mutative motives
M. Ornaghi. “Comparison results about dg categories, A∞-categories, stable∞-categories and noncom- mutative motives.” (2018) Ph.D. Thesis, Universitá di Milano. Available athttps://air.unimi.it/retrieve/ dfa8b99a-5302-748b-e053-3a05fe0a3a96/phd_unimi_R10829.pdf
2018
-
[16]
Tensor product of A∞-categories
M. Ornaghi. “Tensor product of A∞-categories.” J. Pure Appl. Algebra, 229, no. 7, (2025). https://doi. org/10.106/j.jpaa.2025.107987
2025
-
[17]
A comparison between pretriangulated A∞-categories and ∞-Stable categories
M. Ornaghi. “A comparison between pretriangulated A∞-categories and ∞-Stable categories.” (2016). Preprint available athttps://arxiv.org/abs/1609.00566
2016
-
[18]
Fukaya categories and Picard-Lefschetz theory
P. Seidel. “Fukaya categories and Picard-Lefschetz theory.” Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Zurich, 2008.https://doi.org/10.4171/063
2008 doi
-
[19]
Une structure de categorie de modeles de Quillen sur la categorie des DG categories
G. Tabuada. “Une structure de categorie de modeles de Quillen sur la categorie des DG categories.”C. R. Math. Acad. Sci. Paris340, (2005):15-19. https://doi.org/10.1016/j.crma.2004.11.007
2005 doi
-
[20]
Theorie homotopique des DG-categories
G. Tabuada, “Theorie homotopique des DG-categories.” (2007). Ph.D. Thesis, Université Denis Diderot- Paris 7. Available athttps://arxiv.org/abs/math/0310337
2007 arXiv
-
[21]
Unitalities and mapping spaces in A∞-categories
H. L. Tanaka. “Unitalities and mapping spaces in A∞-categories.” (2024). Preprint available at https: //arxiv.org/abs/2407.05532
2024 arXiv
-
[22]
The homotopy theory of DG categories and derived Morita theory
B. Toen. “The homotopy theory of DG categories and derived Morita theory.” Invent. Math. 167, (2007):615-667. https://doi.org/10.1007/s00222-006-0025-y
2007 doi
-
[23]
Lectures on DG-categories
B. Toen. “Lectures on DG-categories.” Topics in Algebraic and Topological K-Theory(2011) 243-301. https://doi.org/10.1007/978-3-642-15708-0. Università degli Studi di Milano Dipartimento di Matematica Via Cesare Saldini 50, 20133 Milano, Italy Email address: mattia12.ornaghi@gmail.com
2011 doi
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.