Controlled theories, categorification, and homotopification

Johnathon Taylor

Controlled theories, categorification, and homotopification

T0 review · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read Every controlled theory admits a canonical functorial categorification and homotopification, and applying this to the group theory yields a new model category for ∞-groups.

desk verdict The framework is original, but Theorem 6.10 is false on the paper's own monoid example: reduction classes are not singletons, so the algebraic augmentation is not strong and the A∞/∞-group applications collapse. read the letter →

arxiv 2607.24716 v2 pith:6HTMJAO4 submitted 2026-07-27 math.CT

Johnathon Taylor This is my paper · ORCID

classification math.CT MSC 18C1018C2018N1055P48

keywords controlledtheoriesLawverecategorificationhomotopificationdeformations∞-groupsE∞-spacesA∞-spaces

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

The paper's project is to give a general, syntactic way to turn an ordinary algebraic theory into a coherent higher-categorical or homotopical theory. It introduces controlled theories, which are Lawvere theories together with a marked subfamily of operations whose structure is tracked rather than discarded, and shows that every controlled theory has a canonical algebraic realization as a Lawvere 2-theory. Passing through the nerve gives a simplicial Lawvere theory, and the paper proves that the realization of the group theory produces a model category for ∞-groups, while the realization of the diagram of monoids, commutative monoids, and groups produces a model of coherent group-like E∞-spaces. A sympathetic reader would care because this is a direct bridge from elementary equational data to objects in homotopy theory, with coherence emerging from the marked subfamily rather than being added by hand.

What carries the argument

The machinery is the controlled theory itself: a reduced signature G, a control pro P with a faithful map into the free theory Fr(G), and a full morphism st: Fr(G)→L to a Lawvere theory. The key derived object is the reduction pro Ω, whose homs are classes [f] of operations that become equal after applying st(i(−)); the algebraic augmentation places a discrete category on each class and selects representatives via W_f. The proof rests on the Ω*-free condition, an analogue of Σ-free operads: a deformation is Ω*-free if the only invertible symmetry f in the pullback pro Ω* that leaves an operation class unchanged is the identity. This condition is what guarantees the augmentation has precisely

What would settle it

Compute the reduction class of the binary monoid operation in the controlled theory Ωmon: because the theory imposes unit laws, the terms m(e,x), m(x,e), and (e·x)·e all have the same image under st(i(−)). If that is right, E([m]) is a discrete category with more than one object and the map W_m: ∗→E([m]) is not an isomorphism; then the space A_2 in Proposition 6.18 is not contractible, and the claimed A∞-space equivalence would need a different definition of the operation spaces.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 6.10: for any controlled theory Ω, the algebraic augmentation — the deformation whose object at a reduction class [f] is the discrete category on that class, with W_f choosing the representative f — is an Ω*-free strong augmentation. This means each chosen operation is a weak equivalence and the only symmetry that can act trivially on an operation is the identity, exactly the coherence condition needed to avoid spurious symmetries. From this, the algebraic realization functor AR produces Lawvere 2-theories, and the nerve realization functor NR produces simplicial Lawvere theories; the group case gives the new model A^gl∞-Spaces for ∞-groups, and the monoid/co

Load-bearing premise

The load-bearing premise is that each reduction class [f] is essentially a singleton, so that picking the representative f gives a weak equivalence W_f; if a reduction class contains several distinct operations, the construction produces a discrete category with several objects and the weak-equivalence claim collapses.

Editorial extensions

If this is right

The algebraic realization of the monoid controlled theory is a Lawvere 2-theory whose models are monoidal categories (monoidal groupoids in the groupoid-enriched version), so the categorification recovers the usual coherence for monoidal categories from controlled data.
The nerve realization of the monoid theory gives a simplicial Lawvere theory whose algebras are A∞-spaces, with a Quillen equivalence to simplicial monoids.
The nerve realization of the group theory gives the model category A^gl∞-Spaces, a model for ∞-groups via a Quillen equivalence with simplicial groups.
The pullback construction defines E^gl∞-Spaces, coherent group-like E∞-spaces, and the strictification morphism from the corresponding theory to the abelian group theory is not a weak equivalence.
Because the realization functors extend to connected diagrams, the diagram of monoid, commutative monoid, and group controlled theories yields a Lawvere 2-theory whose models are group-like symmetric monoidal categories, i.e. Picard groupoids.

Reading between the lines

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

The same construction should work for any admissible controlled theory, giving a uniform source of 2-theories and simplicial theories; the Ω*-free condition is a general criterion for coherence, so one can test it on other theories with symmetries.
The machine suggests a dictionary: every connected diagram of controlled theories is a candidate for a coherent higher structure, so diagrams other than the Picard triangle would produce new models in homotopy theory.
The discrete categories E([f]) admit an evident further step: replace each class by a contractible groupoid resolution when finer coherence is needed; this is the natural route for extending the nerve realization toward models of infinite loop spaces.

Share X Bluesky LinkedIn Reddit HN

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

Colleague —

The short version: the paper's central theorem is false on its own examples. Theorem 6.10 says the algebraic augmentation is a strong augmentation for every controlled theory, but in the monoid example Ωmon the reduction class [m] is not a singleton. Let r = m∘(id⊗e): 1→1 and g = m∘(r⊗id): 2→1. In the free pro, g and m are distinct; in the monoid theory, r becomes the identity, so st(g)=st(m) and g∈[m]. Hence O^Ω_[m] = E([m]) is a discrete category with at least two objects, and W_m: ∗ → E([m]) is not essentially surjective. That violates Definition 6.3 directly, and the proof of 6.10 ('by construction') doesn't address it.

The same defect propagates. Proposition 6.18 asserts Ωmon(n,1) ≅ ∗, which is simply wrong: the n-ary monoid operations form an infinite set for n≥1 (even the class of the identity contains many distinct terms). The alleged A∞-operad A built from these components is not an A∞-operad, and the Quillen equivalences in Propositions 6.18/6.20 and Theorem 6.19 rest on these claims. So the announced models for A∞-spaces, E∞-spaces, and ∞-groups are not established. The paper also defers the infinite-loop-space application to future work.

There is real content here. The definitions of controlled theory, deformations of pros and of controlled theories, and the algebraic/nerve realization functors are original, and the paper situates them honestly relative to Gould's operadic categorification, Power's enriched Lawvere theories, and Schwänzl–Vogt. The broad plan—use a control pro to mark which formal operations stay visible—is worth thinking about. The self-citation to the author's thesis for the base notion is not disqualifying, but it does mean the core definition is not independently checkable here. But as written the central mechanism fails, and the flaw is elementary, not a subtle gap.

I would not send this to a referee in its current form. The author should rework the definition of the hom-objects O^Ω_[f] or the notion of strong augmentation; if a repair exists, a revised version could be worth another look.

Assumptions & free parameters 0 free parameters · 7 assumptions · 6 invented entities

The central constructions rely on standard enriched-category and model-category background plus the author's thesis for the free-pro adjunction and the very notion of controlled theory. There are no fitted numerical parameters. The invented entities (controlled theories, deformations, augmentations, Ω*-freeness, the new model categories) are formal devices; none carries an independent falsifiable handle outside the paper.

assumptions (7)

domain assumption The category of algebras of a simplicial theory inherits a projective model structure (Rezk 2002, Thm 7.2).
Invoked in §6, before Prop 6.18, to justify projective model structures on A∞-Spaces etc.; not proved here.
domain assumption Simplicial groups model ∞-groups.
End of proof of Thm 6.19; standard but external.
domain assumption No Lawvere theory has homotopy algebras in spaces modeling E∞-spaces.
Stated as 'well-known' in §1 without a reference; motivates the whole paper.
ad hoc to paper The free-pro adjunction N[−] ⊣ U and its explicit construction.
Used throughout §2 and §4 (e.g. Fr(G), P[G]); explicit construction is cited to the author's thesis [Taylor, 2026] rather than proved.
standard math Every Lawvere theory is presentable.
Lemma 2.12, proved via the counit.
standard math Pro and Law are locally presentable.
Lemmas 2.7 and 2.10, proved via monadicity.
standard math The canonical model structure on Cat (and Gpd) exists.
Used for the algebraic augmentation, Example 2.18.

invented entities (6)

Controlled theory
purpose: Primary new object: a presentation enhanced with a control pro P → Fr(G).
Def 4.1; no external handle.
Deformation of a pro / controlled theory
purpose: Homotopical parametrization of operations.
Defs 5.25, 5.31.
Algebraic augmentation and realization AR(−)
purpose: Functor cTh → 2Law.
Constr 6.9; the 'strong' property is not externally testable.
Nerve realization NR(−)
purpose: Functor cTh → sSetLaw.
Constr 6.16.
Ω*-free deformation
purpose: Analogue of Σ-free operads.
Def 6.7; defined so the algebraic augmentation satisfies it.
A^gl_∞-Spaces and E^gl_∞-Spaces
purpose: Proposed models for ∞-groups and coherent group-like E∞-spaces.
Defined near Thm 6.19/6.21; no independent evidence these are the named homotopy types.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Controlled theories, categorification, and homotopification." pith.science (2026). https://pith.science/paper/6HTMJAO4

@misc{pith2026260724716,
  author       = {Pith},
  title        = {Pith review of: Controlled theories, categorification, and homotopification},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6HTMJAO4}},
  note         = {Machine review of arXiv:2607.24716}
}

abstract

In this paper, we introduce the notion of a controlled theory, originally developed in the author's thesis, as a structural tool for the study of higher categorical algebra. We define a notion of deformation for pros and controlled theories in a cartesian closed category. Furthermore, we show that deformations of controlled theories naturally produce Lawvere theories enriched over the same base category. We construct functorial one-dimensional categorifications and homotopifications of controlled theories, yielding Lawvere $2$-theories and Lawvere theories enriched in simplicial sets, respectively. As an application, we obtain a new model for $\infty$-groups and construct a model of coherent group-like $E_\infty$-spaces, which we will show in future work models infinite loop spaces.

Review history (2 revisions) →

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

Algebraic coherators, controlled theories, and Grothendieck realizations
math.CT 2026-07 conditional novelty 5.5 of 10

Algebraic coherators and Grothendieck realizations produce infinity-Lawvere theories for monoidal and Picard infinity-groupoids; a generalized pushout conjecture would yield semi-model structures and the Homotopy Hypothesis.

Reference graph

Works this paper leans on

27 extracted references · 6 linked inside Pith · cited by 1 Pith paper

[1]

Ad´ amek and J

[Ad´ amek and Rosick´ y, 1994] J. Ad´ amek and J. Rosick´ y,Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge,

1994
[11]

CONTROLLED THEORIES, CATEGORIFICATION, AND HOMOTOPIFICATION53 [May, 1972] J

Cambridge University Press, London, 1974, 61–94. CONTROLLED THEORIES, CATEGORIFICATION, AND HOMOTOPIFICATION53 [May, 1972] J. P. May,The Geometry of Iterated Loop Spaces. Lecture Notes in Mathematics

1974
[13]

Joyal,The Theory of Quasi-Categories and Its Applications

[Joyal, 2008] A. Joyal,The Theory of Quasi-Categories and Its Applications. Lecture notes,

2008
[14]

[Joyal, Street, and Verity, 1996] A

Available athttps://www.math.uchicago.edu/ ~may/IMA/Joyal.pdf. [Joyal, Street, and Verity, 1996] A. Joyal, R. Street, and D. Verity,Traced Monoidal Categories. Math. Proc. Cambridge Philos. Soc.119(1996), no. 3, 447–468. [Kelly, 1982] G. M. Kelly,Basic Concepts of Enriched Category Theory. London Mathematical Society Lecture Note Series

1996
[18]

Mac Lane,Natural Associativity and Commutativity

[Mac Lane, 1963] S. Mac Lane,Natural Associativity and Commutativity. Rice Univ. Stud.49(1963), no. 4, 28–46. [Maltsiniotis, 2005] G. Maltsiniotis,La th´ eorie de l’homotopie de Grothendieck. Ast´ erisque301(2005), vi+140 pp. [May, 1974] J. P. May,E ∞ spaces, group completions, and permutative categories. InNew Developments in Topology, London Mathematica...

1963
[25]

Ugleˇ si´ c,Enriched pro-categories and shapes

[Ugleˇ si´ c, 2019] N. Ugleˇ si´ c,Enriched pro-categories and shapes. arXiv:1905.07181 [math.CT],

arXiv 2019
[26]

Uustalu,Coherence for skew-monoidal categories

[Uustalu, 2014] T. Uustalu,Coherence for skew-monoidal categories. InProceedings of the 5th Workshop on Mathematically Structured Functional Programming, Electron. Proc. Theor. Comput. Sci.153 (2014), 68–77. [Yanofsky, 2000] N. S. Yanofsky,Coherence, Homotopy and 2-Theories. arXiv:math/0007033 [math.CT],

arXiv 2014
[34]

Gurski, N

[Gurski, Johnson, and Osorno, 2019] N. Gurski, N. Johnson, and A. M. Osorno,The 2-dimensional stable homotopy hypothesis. J. Pure Appl. Algebra223(2019), no. 10, 4348–4383. [Henry and Lanari, 2023] S. Henry and E. Lanari,On the homotopy hypothesis for 3-groupoids. Theory Appl. Categ.39(2023), Paper No. 26, 735–768. [Hirschhorn, 2003] P. S. Hirschhorn,Mode...

2019

Show all 27 references

[1967]

Riehl and D

[Riehl and Verity, 2020] E. Riehl and D. Verity,Infinity Category Theory from Scratch. Higher Struc- tures4(2020), no. 1, 115–167. [Rezk, 2002] C. Rezk,Every Homotopy Theory of Simplicial Algebras Admits a Proper Model. Topology Appl.119(2002), no. 1, 65–94. [Schw¨ anzl and Vo...

2020
[1972]

[May and Thomason, 1978] J. P. May and R. Thomason,The uniqueness of infinite loop space machines. Topology17(1978), no. 3, 205–224. [McDermott and Uustalu, 2022] D. McDermott and T. Uustalu,What Makes a Strong Monad?. Elec- tron. Proc. Theor. Comput. Sci.360(2022), 113–133. [...

1978
[1982]

[Kelly and Lack, 2001] G. M. Kelly and S. Lack,V-Cat is locally presentable or locally bounded ifVis so. Theory Appl. Categ.8(2001), 555–575. [Lanari, 2018] E. Lanari,A semi-model structure for Grothendieck weak 3-groupoids. Preprint,

2001
[1994]

[Anderson, 1972] D. W. Anderson,Fibrations and geometric realizations. Bull. Amer. Math. Soc.78 (1972), no. 4, 521–525. [Ara, 2013] D. Ara,On the homotopy theory of Grothendieck∞-groupoids. J. Pure Appl. Algebra217 (2013), no. 7, 1237–1278. [Arkor and McDermott, 2025] N. Arkor...

1972 arXiv
[1997]

[Elmendorf and Mandell, 2006] A. D. Elmendorf and M. A. Mandell,Rings, Modules, and Algebras in Infinite Loop Space Theory. Adv. Math.205(2006), no. 1, 163–228. [Fong and Spivak, 2019] B. Fong and D. I. Spivak,An Invitation to Applied Category Theory: Seven Sketches in Composi...

2006
[1998]

Johnson and A

[Johnson and Osorno, 2012] N. Johnson and A. M. Osorno,Modeling stable one-types. Theory Appl. Categ.26(2012), no. 20, 520–537. [Johnson and Yau, 2020] N. Johnson and D. Yau,2-Dimensional Categories. Oxford University Press, Oxford,

2012
[1999]

[Goerss and Schemmerhorn, 2007] P. G. Goerss and K. Schemmerhorn,Model Categories and Simplicial Methods. InInteractions Between Homotopy Theory and Algebra, Contemp. Math.436. Amer. Math. Soc., Providence, RI, 2007, 3–49. [Gould, 2008] M. R. Gould,Coherence for Categorified O...

2007
[2000]

Yau,Colored Operads

[Yau, 2016] D. Yau,Colored Operads. Graduate Studies in Mathematics

2016
[2003]

Hovey,Monoidal Model Categories

[Hovey, 1998] M. Hovey,Monoidal Model Categories. arXiv:math/9803002 [math.AT],

1998 arXiv
[2004]

Lurie,Higher Topos Theory

[Lurie, 2009] J. Lurie,Higher Topos Theory. Annals of Mathematics Studies

2009
[2008]

52JOHNATHON TAYLOR [Gray, 1974] J. W. Gray,2-algebraic theories and triples. Cahiers de Topologie et G´ eom´ etrie Diff´ erentielle 14(1974), 178–180. [Grothendieck, 2022] A. Grothendieck,Pursuing Stacks (` a la poursuite des champs). Vol. I. Documents Math´ ematiques

1974
[2009]

Dugger,Coherence for invertible objects and multigraded homotopy rings

[Dugger, 2014] D. Dugger,Coherence for invertible objects and multigraded homotopy rings. Algebr. Geom. Topol.14(2014), no. 2, 1055–1106. [Dwyer, Hirschhorn, and Kan, 1997] W. G. Dwyer, P. S. Hirschhorn, and D. M. Kan,Model Categories and More General Abstract Homotopy Theory....

2014
[2018]

[Lawvere, 1963] F. W. Lawvere,Functorial semantics of algebraic theories. Proc. Natl. Acad. Sci. USA 50(1963), 869–872. [Lawvere, 2002] F. W. Lawvere,Metric Spaces, Generalized Logic, and Closed Categories. Repr. Theory Appl. Categ.1(2002), 1–37. [Leinster, 2004] T. Leinster,H...

1963
[2019]

[Goerss and Jardine, 1999] P. G. Goerss and J. F. Jardine,Simplicial Homotopy Theory. Progress in Mathematics

1999
[2020]

[Cohen, 2009] J. A. Cohen,Coherence for rewriting 2-theories. arXiv:0904.0125 [math.CT],

2009 arXiv
[2022]

Gurski and N

[Gurski and Johnson, 2026] N. Gurski and N. Johnson,Invertibility and Parity in Symmetric Monoidal Categories. Appl. Categ. Structures34(2026), Article

2026
[2023]

[Perutka, 2026] T

Available athttps://topos.institute/blog/2023-08-15-unbiased-pseudomonoids/. [Perutka, 2026] T. Perutka, 2-Dimensional Lawvere Theories, Commutativity, and Higher Day Convo- lution. arXiv:2602.14332 [math.CT],

2023 arXiv
[2025]

Patterson,Unbiased monoidal categories are pseudo-elements

[Patterson, 2023] E. Patterson,Unbiased monoidal categories are pseudo-elements. Topos Institute Blog,

2023
[2026]

Power,Enriched Lawvere theories

[Power, 1999] J. Power,Enriched Lawvere theories. Theory and Applications of Categories6(1999), No. 7, 83–93. [Quillen, 1967] D. G. Quillen,Homotopical Algebra. Lecture Notes in Mathematics

1999

Pith tools

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

[1] [1]

Ad´ amek and J

[Ad´ amek and Rosick´ y, 1994] J. Ad´ amek and J. Rosick´ y,Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge,

1994

[2] [11]

CONTROLLED THEORIES, CATEGORIFICATION, AND HOMOTOPIFICATION53 [May, 1972] J

Cambridge University Press, London, 1974, 61–94. CONTROLLED THEORIES, CATEGORIFICATION, AND HOMOTOPIFICATION53 [May, 1972] J. P. May,The Geometry of Iterated Loop Spaces. Lecture Notes in Mathematics

1974

[3] [13]

Joyal,The Theory of Quasi-Categories and Its Applications

[Joyal, 2008] A. Joyal,The Theory of Quasi-Categories and Its Applications. Lecture notes,

2008

[4] [14]

[Joyal, Street, and Verity, 1996] A

Available athttps://www.math.uchicago.edu/ ~may/IMA/Joyal.pdf. [Joyal, Street, and Verity, 1996] A. Joyal, R. Street, and D. Verity,Traced Monoidal Categories. Math. Proc. Cambridge Philos. Soc.119(1996), no. 3, 447–468. [Kelly, 1982] G. M. Kelly,Basic Concepts of Enriched Category Theory. London Mathematical Society Lecture Note Series

1996

[5] [18]

Mac Lane,Natural Associativity and Commutativity

[Mac Lane, 1963] S. Mac Lane,Natural Associativity and Commutativity. Rice Univ. Stud.49(1963), no. 4, 28–46. [Maltsiniotis, 2005] G. Maltsiniotis,La th´ eorie de l’homotopie de Grothendieck. Ast´ erisque301(2005), vi+140 pp. [May, 1974] J. P. May,E ∞ spaces, group completions, and permutative categories. InNew Developments in Topology, London Mathematica...

1963

[6] [25]

Ugleˇ si´ c,Enriched pro-categories and shapes

[Ugleˇ si´ c, 2019] N. Ugleˇ si´ c,Enriched pro-categories and shapes. arXiv:1905.07181 [math.CT],

arXiv 2019

[7] [26]

Uustalu,Coherence for skew-monoidal categories

[Uustalu, 2014] T. Uustalu,Coherence for skew-monoidal categories. InProceedings of the 5th Workshop on Mathematically Structured Functional Programming, Electron. Proc. Theor. Comput. Sci.153 (2014), 68–77. [Yanofsky, 2000] N. S. Yanofsky,Coherence, Homotopy and 2-Theories. arXiv:math/0007033 [math.CT],

arXiv 2014

[8] [34]

Gurski, N

[Gurski, Johnson, and Osorno, 2019] N. Gurski, N. Johnson, and A. M. Osorno,The 2-dimensional stable homotopy hypothesis. J. Pure Appl. Algebra223(2019), no. 10, 4348–4383. [Henry and Lanari, 2023] S. Henry and E. Lanari,On the homotopy hypothesis for 3-groupoids. Theory Appl. Categ.39(2023), Paper No. 26, 735–768. [Hirschhorn, 2003] P. S. Hirschhorn,Mode...

2019