A remark on fibrancy of ($\mbox{A$_{\infty}$Cat}$,$W^{\tiny\mbox{A}_{\infty}}_{\tiny\mbox{qe}}$)

Mattia Ornaghi; Xiaofa Chen

REVIEW 3 major objections 4 minor 1 cited by

A remark on fibrancy of ($\mbox{A$_{\infty}$Cat}$,$W^{\tiny\mbox{A}_{\infty}}_{\tiny\mbox{qe}}$)

T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that the relative category of strictly unital flat $A_\infty$ categories with quasi-equivalences is fibrant in the category of relative categories, resolving Pascaleff's question.

desk verdict The paper's proof of fibrantness collapses on a false coalgebra-map claim in Section 2; the pullback construction is still interesting, but the central theorem is unsupported. read the letter →

arxiv 2412.13347 v1 pith:HUOBIKUD submitted 2024-12-17 math.CT

Xiaofa Chen , Mattia Ornaghi This is my paper · ORCID

classification math.CT MSC 14F0818E3518G70

keywords A-infinitycategoriesrelativefibrantobjectspullbacksquasi-equivalencesbarconstructiongradedquiversformalmorphisms

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This note proves that the relative category of (strictly unital, flat) $A_\infty$ categories, with quasi-equivalences as weak equivalences, is a fibrant object in the category of relative categories. The proof establishes the missing pullbacks: any $A_\infty$ functor whose linear part is a graded-split surjection (condition (F1)) can be pulled back along any $A_\infty$ functor, and the pullback projection inherits the fibration and acyclicity properties needed for fibrancy. This answers a question posed in Pascaleff's comparison of the homotopy theories of differential graded categories and $A_\infty$ categories, where fibrancy would simplify the argument. A sympathetic reader should care because fibrant relative categories are the ones whose homotopy theory is controlled by fibrations and pullbacks, so this makes the $A_\infty$-category homotopy theory more tractable.

What carries the argument

The argument runs through the bar-cobar correspondence: an $A_\infty$ category is encoded by a DG structure on the reduced cocomplete cocategory $B_\infty(Q)$ built from its underlying graded quiver $Q$, and $A_\infty$ functors correspond to DG functors of these cocategories. The central construction is the subquiver $(E \times C'')_{G'}$ generated by objects, whose hom spaces are $E(x_1,x_2) \oplus C''(y_1,y_2)$ for pairs with matching $F_0(x) = G_0(y)$. Condition (F1) provides splittings of the maps $F_1$, which are used to define an endomorphism $\gamma$ of $B_\infty(A)$; the automorphism $\Phi = \mathrm{Id} + \gamma$ transports the differential of $A$ to a new $A_\infty$ structure on the candidate pullback, reducing the problem to a pullback along the strict functor $F_1$. The $A_\infty$ structure is then defined inductively by equations (16) and (17), which force the two projections to be $A_\infty$ functors.

What would settle it

Compute the cocategory-functor equation for $\gamma$ on a two-tensor input in $B_\infty(A)$ for a small $A_\infty$ category where $F_1$ is a split surjection, using the bar-construction signs; if the equation fails, or if the truncated inverse of $\Phi$ fails to invert it in any degree, then the transferred $A_\infty$ structure is not justified and Theorem 2 collapses.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: the relative category $(A_\infty\mathrm{Cat}, W^{A_\infty}_{\mathrm{qe}})$ is fibrant in $\mathrm{RelCat}$. Following the criterion of Meier, the proof reduces fibrancy to three results. Theorem 2 constructs the pullback of an $A_\infty$ functor $F: A \to A'$ satisfying (F1), meaning each map $F_1: A(x,y) \to A'(F_0x, F_0y)$ is a degreewise split surjection of graded modules, along any $A_\infty$ functor $G: A'' \to A'$, and shows the pullback projection again satisfies (F1). Theorem 3 shows that the additional fibration condition (F2) and the property of being a quasi-equivalence are preserved by this pullback. The candidate pullback is the subquiver of $A \times A''$ on pairs $(x,y)$ with $F_0(x) = G_0(y)$, carrying the $A_\infty$ structure transferred from $A$ through the bar construction and a conjugation by an automorphism $\Phi = \mathrm{Id} + \gamma$ of $B_\infty(A)$.

Load-bearing premise

The load-bearing premise is that the endomorphism $\gamma$ of the bar construction $B_\infty(A)$ is a functor of cocategories and that $\Phi = \mathrm{Id} + \gamma$ is an automorphism satisfying the key commutative diagrams (10); this verification is left to the reader and carries the whole transfer argument.

Editorial extensions

If this is right

If Theorem 1 holds, Pascaleff's comparison between the homotopy theories of differential graded categories and $A_\infty$ categories can be simplified, since the $A_\infty$ side is now known to be fibrant.
Pullbacks exist specifically along $A_\infty$ functors satisfying (F1); these are the maps that play the role of fibrations in this setting, and the pullback projection is again (F1).
The fibration-theoretic properties (F2) and quasi-equivalence are stable under pullback, so acyclic fibrations pull back to acyclic fibrations, as required for a fibration category structure.
For $A_\infty$ algebras, the construction recovers Lefèvre-Hasegawa's theorem; the advance is the passage from graded modules to graded quivers, namely to categories with many objects.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The proof delegates the verification that $\gamma$ is a functor of cocategories and $\Phi$ an automorphism to the reader; a fully spelled-out check in the lowest nontrivial degrees would turn Theorem 2 from a claimed construction into a verified one.
Because the fibration condition (F1) requires graded split surjections rather than mere degreewise surjections, the method is tied to the field case; extending to arbitrary commutative rings would need a different notion of fibration, matching the known over-ring equivalence of homotopy theories.
The pullback is formed as a subquiver of the categorical product with object set $\{(x,y): F_0(x)=G_0(y)\}$; if this pattern generalizes, one could look for more finite limits of $A_\infty$ categories along split-surjective functors, beyond the equalizers that are known to be missing in general.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear [Colleague],

This note aims to answer Pascaleff's question by proving that (A∞Cat, W_qe) is fibrant. The plan is reasonable: choose (F1)+(F2) as fibrations, construct pullbacks for (F1) functors, and then apply Meier's criterion. The pullback construction is genuinely new and the generalization of Lefèvre-Hasegawa's algebra statement to categories is a natural step.

The trouble is in Section 2. The whole reduction to the strict functor F1 rests on an endomorphism γ of the bar cocategory B∞(C), defined by a formula that splits the input into blocks, applies higher F_i components, and lifts the outputs using splittings. The paper says "the verification that γ is a functor of cocategories is left to the reader." That verification is not omitted detail; it is false. For length-three tensors, γ(a⊗b⊗c) contains summands sF_2(a,b)⊗sF_1(c) and sF_1(a)⊗sF_2(b,c). Taking the comultiplication gives nonzero terms. On the other side, (γ⊗γ)Δ(a⊗b⊗c) = γ(a⊗b)⊗γ(c) + γ(a)⊗γ(b⊗c) = 0 because γ vanishes on generators. So Δγ and (γ⊗γ)Δ differ, and γ is not a coalgebra map. Consequently Φ = Id + γ is not an automorphism of the cocategory, and the commutative diagrams (10) do not hold. The claimed reduction to diagram (12) has no basis.

This is load-bearing: Theorem 2, Corollary 1, and Theorem 3 all depend on it, and the fibrantness conclusion goes with them. The pullback might exist by another argument, but this manuscript does not provide one. The citations and the rest of the expository material look fine, and the authors are clear about what they assume. But "not difficult" for an essential false verification is a serious problem, not a minor gap.

If the authors can fix the γ issue—for instance, by working with twisted coalgebras or by treating γ as a coderivation rather than a coalgebra map—the paper could be salvageable. As written, the central result is unproven.

I would not accept the paper in this form. It does deserve a serious referee if the journal is open to a major revision, because the open question is real and the construction is worth engaging with. Ask the referee to check the γ computation first; I am fairly confident it fails.

Best,

Referee Report

3 major / 4 minor

Summary. This paper addresses a question posed by Pascaleff about whether the relative category of A-infinity categories with quasi-equivalences is a fibrant object in the category of relative categories. The authors introduce a class of A-infinity functors satisfying a graded-split surjectivity condition (F1) and, using the bar-cocategory formalism, attempt to prove that pullbacks of such functors along arbitrary A-infinity functors exist (Theorem 2), from which fibrantness is deduced. The proof constructs a candidate pullback quiver, equips it with an A-infinity structure by an inductive procedure, and then verifies the universal property. The main claimed consequence is Theorem 1.

Significance. If correct, the paper would give a positive answer to Pascaleff's question and would provide a missing pullback construction in the category of A-infinity categories, generalizing Lefèvre-Hasegawa's algebra-level result. The paper has the merit of making the construction explicit and of building on standard bar-cocategory bijections. However, the main construction depends on a claimed cocategory endomorphism gamma whose verification is left to the reader; on inspection that claim appears to be false under the paper's own conventions. The significance of the paper is therefore not established in the present version.

major comments (3)

[Section 2 (definition of gamma and diagrams (10))] The assertion that gamma is a functor of cocategories is load-bearing, and the manuscript does not prove it. The reader is told only: "The verification that gamma is a functor of cocategories is left to the reader." This is not a routine omission: under the reduced comultiplication used in the paper, Delta(a)=0 for a length-1 tensor and Delta(a tensor b tensor c) = a tensor (b tensor c) + (a tensor b) tensor c. From the displayed formula, gamma(a)=0 and gamma(a tensor b)=s F_2(a,b). If gamma were a cocategory functor, then (gamma tensor gamma)Delta(a tensor b tensor c) = gamma(a) tensor gamma(b tensor c) + gamma(a tensor b) tensor gamma(c) = 0. But gamma(a tensor b tensor c) contains the summand s F_2(a,b) tensor s F_1(c) (and s F_1(a) tensor s F_2(b,c)), whose comultiplication is nonzero whenever F_2 is nonzero and the chosen splitting of F_1 does not vanish on some morphism. Hence Delta gamma and (gamma tensor gamma)Delta differ, so gamma is not a functor of cocategories as stated. Since Phi = Id + gamma and the differential transfer d_hat = Psi d Phi depend on gamma and on the commutativity of (10), the reduction to the strict functor F_1 is not justified.
[Section 2.2, proof of Theorem 2.2, Step 1] The displayed equations (21)-(24) do not produce the component tilde b_n that they claim. The computation shows that the first component of the left-hand side of (21) equals tilde c + pr1_E(varrho_n(...)); defining tilde c as pr1_E(varrho_n(...)) makes this first component 2 pr1_E(varrho_n(...)), not zero. A minus sign appears to be missing, or the definition of tilde c must be altered. Since Step 1 constructs all higher components of tilde b by this induction, the existence of the A-infinity structure on the candidate pullback is not established as written.
[Section 3, Lemma 3.1] The proof of Lemma 3.1 relies on the equality L_{Id x G}(phi) = ... = (0,0), which the text says is "not hard to prove." This equality uses equations (16)-(17) and the properties of tilde b from Theorem 2.2; given the issues above, it is not established. Moreover, uniqueness of the induced functor K is asserted with no argument. A complete proof of the universal property is therefore not supplied.

minor comments (4)

[Abstract and Introduction] There are several typographical issues, including "Pascaleff que stion" in the Abstract. Please proofread the text carefully.
[References] Reference [7] has an empty title; the thesis title should be supplied.
[Section 2.2, Example 2.1] The inequality "1 >= j >= b" appears to be a typo for "1 <= j <= b".
[Section 2.2, proof of Theorem 2.2, Step 1] The text says "So (13) has limit" but the intended statement is that the diagram has a pullback; please correct the terminology.

Circularity Check

0 steps flagged · score 2.0 of 10

Minor self-citations to the authors' earlier thesis for standard bar-cocategory bijections; the central pullback construction is not circular, though a load-bearing verification is left to the reader.

full rationale

The paper's Theorem 1 is derived from Theorem 2, Theorem 3 and Corollary 1 via Pascaleff's relative-category criterion; none of these theorems is assumed in the cited references. Theorem 2 is proved by explicitly constructing a candidate quiver (E×C'')_{G'} and an A∞ structure satisfying equations (16)-(17), then proving the universal property in Lemma 3.1; this is a direct construction rather than a renaming of the desired conclusion. The only self-citations are to [7] for the standard bijections (5)-(8) between formal morphisms, prenatural transformations, and cocategory coderivations, and for the explicit Bar formulas; these are classical, parameter-free identifications that do not contain Theorem 2 as an input. The F1 splitting hypothesis is used to define γ and the strict replacement F1, but the paper does not define γ in terms of the pullback object it is proving to exist, nor does it fit the target fibrant statement into the assumptions. Accordingly there is no fitted-parameter-as-prediction step and no definitional equivalence between input and output. One load-bearing gap should be flagged for the record: in Section 2 the paper states 'The verification that γ is a functor of cocategories is left to the reader' and then asserts that Φ = Id + γ is an automorphism making diagrams (10) commute; this verification underpins the reduction to the strict functor F1 and the transferred differential d̂ = Ψ d Φ. If that assertion failed, Theorem 2, and hence Theorem 1, could collapse. But an omitted or even incorrect proof is a correctness risk, not a circularity: it is not an instance of defining the conclusion into the hypotheses or of renaming a fitted value as a prediction. The minor self-citations to [7] are not load-bearing for the central claim, so the circularity score is low.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted. The axioms are standard background facts or external theorems. The pullback construction is a mathematical object, not a newly postulated physical entity, so the invented entities list is empty.

assumptions (4)

standard math The bijection between A∞ structures on a graded quiver Q and DG structures on the reduced bar construction B∞(Q) (bijection (8)).
Invoked throughout Section 2 to define A∞ structures via coderivations and to transfer structures to the pullback quiver. Cited to [7].
domain assumption The criterion from [6, Definition 3.1] that existence of pullbacks of fibrations and acyclic fibrations implies the relative category is fibrant.
Used in the introduction to reduce Theorem 1 to Theorems 2 and 3. It is an external theorem about relative categories.
standard math Every epimorphism of graded modules over a field splits.
Used to justify that (F1) is the field analogue of the usual DG fibration condition (f1). Stated in the footnote.
standard math The category of A∞ categories is equivalent to reduced cocomplete DG cocategories, and this equivalence preserves the relevant pullback diagrams.
Used to replace A∞ categories with DG cocategories, reducing the pullback problem to diagram (11). Cited to [7].

how reviews work

0 comments

Cite this review

Pith. "Pith review of A remark on fibrancy of ($\mbox{A$_{\infty}$Cat}$,$W^{\tiny\mbox{A}_{\infty}}_{\tiny\mbox{qe}}$)." pith.science (2026). https://pith.science/paper/HUOBIKUD

@misc{pith2026241213347,
  author       = {Pith},
  title        = {Pith review of: A remark on fibrancy of ($\mboxA$_\infty$Cat$,$W^\tiny\mboxA_\infty_\tiny\mboxqe$)},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HUOBIKUD}},
  note         = {Machine review of arXiv:2412.13347}
}

abstract

In this note we prove the existence, in the category of (strictly unital) A$_{\infty}$categories, of the pullback of a (strictly unital) A$_{\infty}$functor, satisfying a particular property (denoted by F1), along any A$_{\infty}$functor. As a consequence we provide a positive answer to Pascaleff's question whether (A$_{\infty}$Cat,$W^{\tiny\mbox{A}_{\infty}}_{\tiny\mbox{qe}}$) is a fibrant object in RelCat.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

A model structure on the category of A$_\infty$-categories with strict morphisms
math.CT 2025-06 conditional novelty 6.0 of 10

The category of strictly unital A∞-categories with strict morphisms admits a cofibrantly generated model structure with quasi-equivalences as weak equivalences.

Reference graph

Works this paper leans on

15 extracted references · 14 canonical work pages · cited by 1 Pith paper

[1]

Canonaco, M

A. Canonaco, M. Ornaghi, P. Stellari, Localizations of the category of A ∞ categories and internal Homs , Doc. Math., 24:2463-2492, 2019

work page 2019
[2]

Canonaco, M

A. Canonaco, M. Ornaghi, P. Stellari, Localizations of the categories of A ∞-categories and internal Homs over a ring , preprint https://arxiv.org/abs/2404.06610, (2024)

arXiv 2024
[3]

Fukaya, Floer homology and mirror symmetry

K. Fukaya, Floer homology and mirror symmetry . II, Minimal surfaces, geometric analysis and symplectic geometry (Baltimore, MD, 1999), Adv. Stud. Pure Math., vol. 34, Math. Soc. Japan, Tokyo, 2002, pp. 31-127

work page 1999
[4]

Keller, O

B. Keller, O. Manzyuk, Equalizers in the category of cocomplete cocategories , Journal of homotopy and related structures, 2:85-97, 2005

work page 2005
[5]

Lefèvre-Hasegawa, Sur les A∞ catégories

K. Lefèvre-Hasegawa, Sur les A∞ catégories. Ph.D. Thesis, Université Denis Diderot-Paris 7, 2003

work page 2003
[6]

Meier, Fibration categories are ﬁbrant relative categories Algebr

L. Meier, Fibration categories are ﬁbrant relative categories Algebr. Geom. Topol., 16(6):3271-3300, 2016

work page 2016
[7]

Ornaghi, , Ph.D

M. Ornaghi, , Ph.D. Thesis, Milano, 2019, https://air.unimi.it/bitstream/2434/560595/2/phd_unimi_R10829.pdf

work page 2019
[8]

Ornaghi, The Homotopy Theory of A ∞categories, https://arxiv.org/abs/2408.05325

M. Ornaghi, The Homotopy Theory of A ∞categories, https://arxiv.org/abs/2408.05325

work page arXiv

Show all 15 references

[9]

Ornaghi, A comparison between pretriangulated A∞-categories and∞-Stable categories, preprint (2016)

M. Ornaghi, A comparison between pretriangulated A∞-categories and∞-Stable categories, preprint (2016)

2016
[10]

Ornaghi, Tensor product of A∞categories, https://arxiv.org/abs/2411.10300

M. Ornaghi, Tensor product of A∞categories, https://arxiv.org/abs/2411.10300
[11]

Pascaleﬀ, Remarks on the equivalence between diﬀerential graded cate gories and A∞-categories, Homol- ogy, Homotopy and Applications, vol

J. Pascaleﬀ, Remarks on the equivalence between diﬀerential graded cate gories and A∞-categories, Homol- ogy, Homotopy and Applications, vol. 26(1), 2024, pp. 275-2 85

2024
[12]

Pascaleﬀ, Poisson geometry, monoidal Fukaya categories, and commuta tive Floer cohomology rings , Enseign

J. Pascaleﬀ, Poisson geometry, monoidal Fukaya categories, and commuta tive Floer cohomology rings , Enseign. Math. 70 (2024), no. 3/4, pp. 313–381

2024
[13]

Seidel, Fukaya categories and Picard-Lefschetz theory , Zurich Lectures in Advanced Mathematics

P. Seidel, Fukaya categories and Picard-Lefschetz theory , Zurich Lectures in Advanced Mathematics. Eu- ropean Mathematical Society (EMS), Zurich (2008)

2008
[14]

Tabuada, Une structure de categorie de modeles de Quillen sur la categ orie des DG categories , C

G. Tabuada, Une structure de categorie de modeles de Quillen sur la categ orie des DG categories , C. R. Math. Acad. Sci. Paris 340 (2005), 15-19

2005
[15]

Vallette, Homotopy theory of homotopy algebras , Ann

B. Vallette, Homotopy theory of homotopy algebras , Ann. Inst. Fourier (Grenoble), 70(2):683-738, (2020). University of Science and Technology of China School of Mathematics Sciences Hefei, 230026, Anhui Province, P.R.China Email address : xchen@imj-prg.fr Università degli Stu...

2020

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [1]

Canonaco, M

A. Canonaco, M. Ornaghi, P. Stellari, Localizations of the category of A ∞ categories and internal Homs , Doc. Math., 24:2463-2492, 2019

work page 2019

[2] [2]

Canonaco, M

A. Canonaco, M. Ornaghi, P. Stellari, Localizations of the categories of A ∞-categories and internal Homs over a ring , preprint https://arxiv.org/abs/2404.06610, (2024)

arXiv 2024

[3] [3]

Fukaya, Floer homology and mirror symmetry

K. Fukaya, Floer homology and mirror symmetry . II, Minimal surfaces, geometric analysis and symplectic geometry (Baltimore, MD, 1999), Adv. Stud. Pure Math., vol. 34, Math. Soc. Japan, Tokyo, 2002, pp. 31-127

work page 1999

[4] [4]

Keller, O

B. Keller, O. Manzyuk, Equalizers in the category of cocomplete cocategories , Journal of homotopy and related structures, 2:85-97, 2005

work page 2005

[5] [5]

Lefèvre-Hasegawa, Sur les A∞ catégories

K. Lefèvre-Hasegawa, Sur les A∞ catégories. Ph.D. Thesis, Université Denis Diderot-Paris 7, 2003

work page 2003

[6] [6]

Meier, Fibration categories are ﬁbrant relative categories Algebr

L. Meier, Fibration categories are ﬁbrant relative categories Algebr. Geom. Topol., 16(6):3271-3300, 2016

work page 2016

[7] [7]

Ornaghi, , Ph.D

M. Ornaghi, , Ph.D. Thesis, Milano, 2019, https://air.unimi.it/bitstream/2434/560595/2/phd_unimi_R10829.pdf

work page 2019

[8] [8]

Ornaghi, The Homotopy Theory of A ∞categories, https://arxiv.org/abs/2408.05325

M. Ornaghi, The Homotopy Theory of A ∞categories, https://arxiv.org/abs/2408.05325

work page arXiv