The category of necklaces is a test category

Arne Mertens

The category of necklaces is a test category

T0 review · 0 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read This note proves that the category of necklaces is a test category, so that presheaves on necklaces model homotopy types in the same way simplicial sets do.

desk verdict New result, sound proof sketch, minor exposition gaps; worth sending to a referee. read the letter →

arxiv 2607.25399 v1 pith:LUVZMEIQ submitted 2026-07-28 math.CT

Arne Mertens This is my paper · ORCID

classification math.CT MSC 18N40

keywords necklacestestcategorypresheafmodelshomotopytypescombinatorialtheorydimensionfunctorasphericalcategoriesbipointedsimplicialsets

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 establishes that Nec, the category of necklaces—bipointed simplicial sets built by wedging standard simplices end to end—satisfies the test category axioms. Test categories are precisely those small categories whose presheaves carry a model structure equivalent to the homotopy theory of spaces. The proof uses a dimension functor from necklaces to cubes and verifies a standard three-condition criterion, following the established strategy for cubical sets with connections. If correct, this adds necklaces to the short list of combinatorial categories that present the homotopy category of spaces, and it gives a new way to view the nerve functor from enriched categories, where necklaces already play a role.

What carries the argument

The dimension functor dim: Nec -> Cat, mapping a necklace T = Δ^{n1} ∨ ... ∨ Δ^{nk} to the poset [1]^{dim(T)} (a cube), where dim(T) is the number of non-joint vertices. The proof uses the induced adjunction dim_! ⊣ dim^* and, crucially, a zigzag of natural transformations between endofunctors H, I, J, K on the category D_T. These endofunctors 'split off' initial simplices or replace the functor part by the terminal object, and the zigzag provides homotopies that collapse D_T to the slice category Nec/T, which is aspherical. This is the necklace analogue of the cubical-with-connections argument.

What would settle it

For a concrete necklace T and a small category D with terminal object, compute the nerve of the category D_T and check whether it is contractible; the paper asserts it always is, so a non-contractible example would disprove the main theorem. Alternatively, pick a necklace map g: U' -> U and verify naturality of the zigzag; any non-commuting square is enough to refute the proof.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.2: the category Nec of necklaces is a test category. The proof verifies the three conditions of a standard criterion using the strong monoidal dimension functor dim: Nec -> Cat, T -> [1]^{dim(T)}. For a small category D with terminal object, it constructs the category D_T and introduces four endofunctors H, I, J, K on D_T together with a zigzag of natural transformations id_{D_T} ← H → I ← J → K. Nerves of these natural transformations induce homotopies, so K is a weak equivalence; a 2-out-of-6 argument then shows D_T is aspherical, establishing condition (b). Conditions (a) and (c) are immediate: each [1]^{dim(T)} has a terminal object and Nec has terminal obj

Load-bearing premise

The argument depends on the zigzag of natural transformations id ← H → I ← J → K between endofunctors on D_T actually being natural; the proof displays the underlying diagrams but does not explicitly verify their naturality, so a failure of commutativity in any one square would collapse the homotopy argument.

Editorial extensions

If this is right

Presheaves on Nec (necklace-sets) admit a model structure whose weak equivalences are detected by the dimension functor, and its homotopy category is that of spaces.
Necklaces can replace simplices or cubes as the basic shapes for homotopy-coherent nerves; any homotopy type has a presentation by necklace presheaves.
The result validates the use of necklaces in rigidification: the category of necklace presheaves is a genuine test shape category, so the necklace nerve from enriched categories is compatible with the standard homotopy theory.
The proof's zigzag collapse gives a template for showing that other categories generated by coface, codegeneracy, and vertex-gluing maps are test categories.

Reading between the lines

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

The same zigzag construction may extend to categories of 'generalized necklaces'—wedges of simplices with more flexible gluing—provided the analogous naturality squares commute; the paper leaves this unstated.
A natural next step, not addressed, is to determine whether the dimension functor induces a Quillen equivalence between necklace-sets and cubical sets, comparing the two homotopy models directly.
Because the naturality checks are omitted, the proof's computational core could be verified mechanically for low-dimensional necklaces; such a check would either confirm the zigzag or produce a counterexample.
If the result withstands scrutiny, it strengthens the case for necklaces as a convenient combinatorial setting for higher category theory, since necklaces are already central to rigidification of quasi-categories.

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

Short version: the paper proves that the category of necklaces is a test category, so presheaves on necklaces model homotopy types. That is a new theorem, not in the cited literature. The proof is a direct adaptation of Jardine's argument for cubes with connections, but the adaptation is done cleanly and the main steps are all standard.

What the paper does well: it sets up the dimension functor dim: Nec -> Cat, reduces the claim to verifying three conditions from Jardine's Proposition 3.1, and then verifies them. The hardest condition, asphericity of the categories D_T, is handled with the same zigzag trick as in the cubical case. The paper is honest about the framework and cites the relevant sources. The use of the author's own previous paper is only for conventions on necklaces, so it is not a circularity.

The soft spots are real but minor. The zigzag of natural transformations id_DT ← H → I ← J → K is the heart of the proof, but it is only exhibited through two terse commutative diagrams. I checked the definitions: H and K are precompositions with collapsing maps, I is the cone construction, and J is constant terminal. The naturality squares reduce to interchange laws for the wedge, which hold because all maps are bipointed. I agree that the argument is almost certainly correct, but a referee should ask the author to spell out the naturality of each transformation, not just display partial squares. There is also a typo: 'G' appears in the factorization step where 'K' is meant. These are exposition issues, not mathematical ones.

Overall, the result is modest but genuine. It adds necklaces to the list of test categories and gives a new combinatorial model of homotopy types. It is not a breakthrough, and it does not open a new technical direction, but it is a useful, citable fact for people working with necklaces and higher categories.

For peer review: I would send this to a referee. It is short, but the claim is new and the proof is checkable. A referee can fill the gaps in a day. I would assign a competent referee in categorical homotopy theory and ask for those naturality diagrams to be written out. Reading group: maybe, if someone is going through test category examples. I would cite it if I work with necklaces.

Referee Report

0 major / 4 minor

Summary. The paper proves that the category Nec of necklaces (in the sense of Dugger–Spivak) is a test category. The proof applies Jardine's test-category criterion to the dimension functor dim: Nec → Cat taking a necklace T to [1]^dim(T). It verifies condition (a) since each [1]^dim(T) has a terminal object, condition (c) since Nec has terminal object Δ^0, and condition (b) by showing that for any small category D with a terminal object, the presheaf dim_*D is aspherical. For (b), the author defines endofunctors H, I, J, K on the category D_T = ∫(dim_*D × \hat T) and claims a zigzag of natural transformations id ← H → I ← J → K, so N(K) is a weak equivalence. Since K factors as β∘α with αβ = id_{Nec/T}, the 2-out-of-6 property implies that D_T is weakly equivalent to Nec/T, which has a terminal object and is therefore aspherical. The conclusion is that Nec is a test category, so presheaves on necklaces model homotopy types.

Significance. The result, if correct, is a clean addition to the family of test categories: necklaces are already important in the rigidification of quasi-categories and in enriched nerve theory, so establishing that presheaves on them model homotopy types is conceptually useful. The proof is short and follows the standard 'test-category yoga' from Jardine and Cisinski; the main work is a single zigzag of natural transformations, for which the author gives the relevant definitions and diagrams. The argument is transparent and the dependence on external results is explicit, and the strategy of replacing the Yoneda embedding by the dimension functor is a natural and elegant reduction.

minor comments (4)

[Theorem 3.2, definition of F_*] The displayed type of F_* has an indexing mismatch: F_* is said to be a functor [1]^{d+1} → D but is written as taking (ε_0, …, ε_{d+1}), which is d+2 coordinates. Since the naturality check F_*∘dim(δ_1∨U) = F depends on which coordinate is the newly added one, please state an explicit coordinate convention for [1]^n and define F_* accordingly.
[Theorem 3.2, definition of f_*] The notation f_* = f(σ_0 σ_0 ∨ id_U) should be clarified: if σ_0σ_0 denotes the composite Δ^2 → Δ^1 → Δ^0 (the unique collapse to a point), please write it as such. As printed, the source Δ^2∨U is otherwise hard to parse, and this map is needed in the definition of I and in the verification of the zigzag.
[Theorem 3.2, final paragraph] The sentence 'Now note that G can be factored as …' refers to an undefined G; it should clearly be K, with K = β∘α. This is likely a typo, but it interrupts an otherwise standard 2-out-of-6 argument.
[Theorem 3.2, naturality of the zigzag] The naturality of the chain id ← H → I ← J → K is asserted but not demonstrated. Please include the component checks, at least for H ⇒ I (showing F_*∘dim(δ_1∨U) = F) and for J ⇒ I (showing (σ_0σ_0)∘ν_{1,1} = σ_0∨σ_0). These are routine, but the compressed diagrams do not make the verification immediate, and this zigzag is the load-bearing part of the proof.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof applies Jardine's external test-category criterion; the only self-citation is for conventions.

full rationale

The derivation is self-contained apart from standard external theorems. Theorem 3.2 verifies conditions (a)-(c) of Proposition 3.1 (quoted from Jardine [Jar06]) for the dimension functor dim: Nec → Cat. Conditions (a) and (c) are immediate from terminal objects ([1]^{dim(T)} and Δ^0). For (b), the paper constructs explicit endofunctors H, I, J, K on D_T and asserts natural transformations id ← H → I ← J → K; if these diagrams commute, the nerve of K is a weak equivalence by standard homotopy properties of natural transformations. The factorization K = β∘α with αβ = id_{Nec/T} then transfers contractibility from the comma category Nec/T (which has terminal object id_T) to D_T. No parameter is fitted and no conclusion is assumed as a premise. The only self-citation, [Mer26], is used solely for terminology/conventions on necklaces ('We follow the terminology and conventions of [DS11,§3] as well as [Mer26,§3.2]') and is not load-bearing for the zigzag argument. The naturality squares are not written out in full, but that is a terseness/correctness issue, not a circularity: the asserted squares are instances of wedge functoriality and do not reduce to the conclusion. Hence no circular step.

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

The paper introduces no free parameters or new entities. It relies on standard theorems in test-category theory and homotopy theory, all cited and not ad hoc.

assumptions (3)

standard math Proposition 3.1 (Jar06, Remark 3.12): conditions (a)-(c) imply a test category.
Main external theorem the proof relies on to invoke the test-category yoga.
standard math A category with a terminal object has weakly contractible nerve (is aspherical).
Used to show Nec and Nec/T are aspherical.
standard math Natural transformations between functors induce simplicial homotopies between their nerves; the 2-out-of-6 property holds for weak homotopy equivalences.
Used to conclude N(K) homotopic to identity implies the factorization morphisms are weak equivalences.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The category of necklaces is a test category." pith.science (2026). https://pith.science/paper/LUVZMEIQ

@misc{pith2026260725399,
  author       = {Pith},
  title        = {Pith review of: The category of necklaces is a test category},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LUVZMEIQ}},
  note         = {Machine review of arXiv:2607.25399}
}

read the original abstract

In this short note, we prove that the category of necklaces is a test category. Hence presheaves on necklaces model homotopy types. The proof is analogous to that for the category of cubes with connections.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

139 extracted references · 17 canonical work pages

[1]

Theory Appl

Adámek, Jiří , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2005 , PAGES =

2005
[2]

1994 , PAGES =

Adámek, Jiří and Rosický, Jiří , TITLE =. 1994 , PAGES =

1994
[3]

Algebraic theories: A categorical introduction to general algebra , SERIES =

Ad\'. Algebraic theories: A categorical introduction to general algebra , SERIES =. 2011 , PAGES =

2011
[4]

1997 , PAGES =

Aguiar, Marcelo , TITLE =. 1997 , PAGES =

1997
[5]

2010 , PAGES =

Aguiar, Marcelo and Mahajan, Swapneel , TITLE =. 2010 , PAGES =

2010
[6]

and Van den Bergh, Michel , Date-Added =

Artin, Michael and Tate, ohn. and Van den Bergh, Michel , Date-Added =. Some algebras associated to automorphisms of elliptic curves , Volume =. The
[7]

Auroux, Denis and Katzarkov, Ludmil and Orlov, Dmitri , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2008 , NUMBER =

2008
[8]

, title =

Bacard, Hugo V. , title =. 1009.3673v1 , primaryClass=

arXiv

Show all 139 references

[9]

, title =

Bacard, Hugo V. , title =. 1206.3704v1 , primaryClass=

arXiv
[10]

, title =

Bacard, Hugo V. , title =. 1307.7215v1 , primaryClass=

arXiv
[11]

Barr, Michael and Wells, Charles , TITLE =. Repr. Theory Appl. Categ. , FJOURNAL =. 2005 , PAGES =

2005
[12]

Barr, Michael , TITLE =. J. Algebra , FJOURNAL =. 1974 , NUMBER =. doi:10.1016/0021-8693(74)90161-6 ,

1974 doi
[13]

Baues, H. J. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1980 , NUMBER =. doi:10.1090/memo/0230 ,

1980 doi
[14]

Beke, Tibor , title =
[15]

Berger, Clemens and Moerdijk, Ieke , title =
[16]

, title =

Bergner, Julia E. , title =
[17]

, TITLE =

Bergner, Julia E. , TITLE =. Topology , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.top.2007.03.002 ,

2007 doi
[18]

and Rezk, Charles , TITLE =

Bergner, Julia E. and Rezk, Charles , TITLE =. Math. Z. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00209-012-1082-0 ,

2013 doi
[19]

2022 , PAGES =

Dimitriadis Bermejo, Elena , TITLE =. 2022 , PAGES =

2022
[20]

, title =

Block, Jonathan and Smith, Aaron M. , title =
[21]

Boardman, John. M. and Vogt, Rainer M. , TITLE =. 1973 , PAGES =

1973
[22]

and Kapranov, Mikhail M

Bondal, Alexey I. and Kapranov, Mikhail M. , TITLE =. Mat. Sb. , FJOURNAL =. 1990 , NUMBER =

1990
[23]

and Polishchuk, Alexander E

Bondal, Alexey I. and Polishchuk, Alexander E. , TITLE =. Izv. Ross. Akad. Nauk Ser. Mat. , FJOURNAL =. 1993 , NUMBER =

1993
[24]

Theory Appl

Booker, Thomas and Street, Ross , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2013 , PAGES =

2013
[25]

1994 , PAGES =

Borceux, Francis , TITLE =. 1994 , PAGES =

1994
[26]

, TITLE =

Bousfield, Aldridge K. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1976/77 , NUMBER =. doi:10.1016/0022-4049(77)90067-6 ,

1976 doi
[27]

, TITLE =

Brandenburg, M. , TITLE =. Expo. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1016/j.exmath.2017.08.005 ,

2018 doi
[28]

Cisinski, Denis-Charles , TITLE =. Ast\'. 2006 , PAGES =

2006
[29]

2019 , PAGES =

Cisinski, Denis-Charles , TITLE =. 2019 , PAGES =

2019
[30]

1308.2587v2 , primaryClass=

Cohn, Lee , title =. 1308.2587v2 , primaryClass=

arXiv
[31]

Cahiers de Topologie et G\'eom

Cordier, Jean-Marc , title =. Cahiers de Topologie et G\'eom. Diff\'erentielle Cat\'egoriques , fjournal =. 1982 , zbl =

1982
[32]

Cordier, Jean-Marc and Porter, Timothy , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 1986 , NUMBER =

1986
[33]

Cordier, Jean-Marc and Porter, Timothy , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1997 , NUMBER =

1997
[34]

Reports of the

Day, Brian , TITLE =. Reports of the. 1970 , MRCLASS =

1970
[35]

New York J

Day, Brian and Pastro, Craig , TITLE =. New York J. Math. , FJOURNAL =. 2008 , PAGES =

2008
[36]

Dold, Albrecht , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1958 , PAGES =

1958
[37]

, TITLE =

Dugger, Daniel and Spivak, David I. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2011 , NUMBER =

2011
[38]

, TITLE =

Duskin, John W. , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2001/02 , PAGES =

2001
[39]

and Kan, Daniel M

Dwyer, William G. and Kan, Daniel M. and Smith, Jeffrey H. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1989 , NUMBER =

1989
[40]

, TITLE =

Eilenberg, Samuel and Zilber, Joseph A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1950 , PAGES =

1950
[41]

Theory Appl

Faonte, Giovanni , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2017 , PAGES =

2017
[42]

Algebraic categories with few monoidal biclosed structures or none , JOURNAL =

Foltz, Fran. Algebraic categories with few monoidal biclosed structures or none , JOURNAL =. 1980 , NUMBER =

1980
[43]

Duoidal categories, measuring comonoids and enrichment , publisher =

Franco, Ignacio López and Vasilakopoulou, Christina , keywords =. Duoidal categories, measuring comonoids and enrichment , publisher =. 2020 , copyright =. doi:10.48550/ARXIV.2005.01340 ,

2020 doi arXiv
[44]

Rocky Mountain J

Friedman, Greg , TITLE =. Rocky Mountain J. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1216/RMJ-2012-42-2-353 ,

2012 doi
[45]

Gepner, David and Haugseng, Rune , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =

2015
[46]

Theory Appl

Gindi, Harry , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2021 , PAGES =

2021
[47]

Haugseng, Rune , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2015 , NUMBER =

2015
[48]

2005.02360v2 , primaryClass=

Henry, Simon , title =. 2005.02360v2 , primaryClass=

2005 arXiv
[49]

DAIMI Report Series , author=

Fibrations, Logical Predicates and Indeterminates , volume=. DAIMI Report Series , author=. 1993 , month=. doi:10.7146/dpb.v22i462.6935 , number=

1993 doi
[50]

A necessary and sufficient condition for induced model structures , JOURNAL =

Hess, Kathryn and K. A necessary and sufficient condition for induced model structures , JOURNAL =. 2017 , NUMBER =

2017
[51]

, TITLE =

Hirschhorn, Philip S. , TITLE =. 2003 , PAGES =

2003
[52]

math/9807049v3 , primaryClass=

Hirschowitz, André and Simpson, Carlos , title =. math/9807049v3 , primaryClass=

arXiv
[53]

and Lazarev, A

Holstein, J. and Lazarev, A. , TITLE =. Adv. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1016/j.aim.2022.108644 , URL =

2022
[54]

1999 , PAGES =

Hovey, Mark , TITLE =. 1999 , PAGES =

1999
[55]

2006 , PAGES =

Huybrechts, Daniel , TITLE =. 2006 , PAGES =. doi:10.1093/acprof:oso/9780199296866.001.0001 ,

2006
[56]

Jardine, J. F. , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2006 , NUMBER =

2006
[57]

Disks, duality, and Theta-categories , year =

Joyal, Andr\'. Disks, duality, and Theta-categories , year =
[58]

Notes on quasi-categories , year =

Joyal, Andr\'. Notes on quasi-categories , year =
[59]

Quasi-categories vs simplicial categories , year =

Joyal, Andr\'. Quasi-categories vs simplicial categories , year =
[60]

Quasi-categories vs

Joyal, Andr\'. Quasi-categories vs. Categories in algebra, geometry and mathematical physics , SERIES =. 2007 , MRCLASS =

2007
[61]

The theory of quasi-categories and its applications , year =

Joyal, Andr\'. The theory of quasi-categories and its applications , year =
[62]

Quasi-categories and

Joyal, Andr\'. Quasi-categories and. J. Pure Appl. Algebra , FJOURNAL =. 2002 , NUMBER =

2002
[63]

, TITLE =

Kan, Daniel M. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1958 , PAGES =

1958
[64]

Deriving

Keller, Bernhard , Journal =. Deriving. 1994 , Number =

1994
[65]

Homology Homotopy Appl

Keller, Bernhard , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2001 , NUMBER =

2001
[66]

International

Keller, Bernhard , TITLE =. International. 2006 , MRCLASS =

2006
[67]

Kelly, Gregory. M. and Lack, Stephen , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2001 , PAGES =

2001
[68]

, TITLE =

Kelly, Gregory M. , TITLE =. Repr. Theory Appl. Categ. , FJOURNAL =. 2005 , PAGES =

2005
[69]

2018 , url =

Lurie, Jacob , title =. 2018 , url =

2018
[70]

2004 , PAGES =

Kock, Joachim , TITLE =. 2004 , PAGES =

2004
[71]

K -Theory , FJOURNAL =

Lack, Stephen and Paoli, Simona , TITLE =. K -Theory , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s10977-007-9013-2 ,

2008 doi
[72]

William , TITLE =

Lawvere, F. William , TITLE =. Rend. Sem. Mat. Fis. Milano , FJOURNAL =. 1973 , PAGES =. doi:10.1007/BF02924844 ,

1973 doi
[73]

Theory Appl

Le Grignou, Brice , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2020 , PAGES =

2020
[74]

math/0002180v1 , primaryClass=

Leinster, Tom , title =. math/0002180v1 , primaryClass=

arXiv
[75]

2004 , PAGES =

Leinster, Tom , TITLE =. 2004 , PAGES =. doi:10.1017/CBO9780511525896 ,

2004 doi
[76]

2014 , PAGES =

Leinster, Tom , TITLE =. 2014 , PAGES =

2014
[77]

2014 , eprint=

Universes for category theory , author=. 2014 , eprint=

2014
[78]

Lowen, Wendy , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2004 , NUMBER =

2004
[79]

Lowen, Wendy , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2008 , NUMBER =

2008
[80]

Lowen, Wendy , TITLE =. Mat. Contemp. , FJOURNAL =. 2012 , PAGES =

2012
[81]

Lowen, Wendy and Ramos González, Julia and Shoikhet, Boris , TITLE =. Int. Math. Res. Not. , YEAR =
[82]

arXiv:2002.09991 , year=

On the tensor product of well generated dg categories , author=. arXiv:2002.09991 , year=

2002 arXiv
[84]

2302.02484v1 , primaryClass=

Wendy Lowen and Arne Mertens , title =. 2302.02484v1 , primaryClass=

arXiv
[85]

arXiv:2005.04778v3 , primaryClass=

Wendy Lowen and Arne Mertens , title =. arXiv:2005.04778v3 , primaryClass=

2005 arXiv
[86]

math/0608228v5 , primaryClass=

Lurie, Jacob , title =. math/0608228v5 , primaryClass=

arXiv
[87]

2009 , PAGES =

Lurie, Jacob , TITLE =. 2009 , PAGES =

2009
[88]

Derived algebraic geometry

Lurie, Jacob , journal=. Derived algebraic geometry
[89]

Lurie, Jacob , title =. 2016 ,

2016
[90]

and May, Jon P

Mandell, Michael A. and May, Jon P. and Schwede, Stefan and Shipley, Brooke E. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 2001 , NUMBER =

2001
[91]

Rice Institute Pamphlet - Rice University Studies , year=

Natural Associativity and Commutativity , author=. Rice Institute Pamphlet - Rice University Studies , year=
[92]

1971 , PAGES =

MacLane, Saunders , TITLE =. 1971 , PAGES =

1971
[93]

, TITLE =

May, Jon P. , TITLE =. 1967 , PAGES =

1967
[94]

2022 , PAGES =

Mertens, Arne , TITLE =. 2022 , PAGES =

2022
[95]

Journal of the London Mathematical Society , volume =

Mertens, Arne , title =. Journal of the London Mathematical Society , volume =. doi:https://doi.org/10.1112/jlms.70573 ,. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/jlms.70573 , year =

doi
[96]

, TITLE =

Moore, John C. , TITLE =. Symposium internacional de topolog\'. 1958 , MRCLASS =

1958
[98]

arXiv:2208.02745v2 , primaryClass=

Moser, Lyne and Rasekh, Nima and Rovelli, Martina , title =. arXiv:2208.02745v2 , primaryClass=

arXiv
[99]

Muro, Fernando , TITLE =. J. Topol. , FJOURNAL =. 2015 , NUMBER =

2015
[100]

, TITLE =

Porst, Hans-E. , TITLE =. Quaest. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.2989/QM.2008.31.2.2.474 ,

2008 doi
[101]

Porta, Marco , TITLE =. Adv. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.aim.2010.04.002 ,

2010 doi
[102]

, TITLE =

Quillen, Daniel G. , TITLE =. 1967 , PAGES =

1967
[103]

Cohomology of groups and algebraic

Quillen, Daniel , TITLE =. Cohomology of groups and algebraic. 2010 , ISBN =

2010
[104]

Rezk, Charles , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2001 , NUMBER =. doi:10.1090/S0002-9947-00-02653-2 ,

2001 doi
[105]

2017 , url =

Rezk, Charles , title =. 2017 , url =

2017
[106]

2014 , PAGES =

Riehl, Emily , TITLE =. 2014 , PAGES =

2014
[107]

Theory Appl

Riehl, Emily and Verity, Dominic , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2014 , PAGES =

2014
[108]

2017 , publisher=

Category Theory in Context , author=. 2017 , publisher=

2017
[109]

Rivera, Manuel and Zeinalian, Mahmoud , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/agt.2018.18.3789 ,

2018 doi
[110]

, TITLE =

Schwede, Stefan and Shipley, Brooke E. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2003 , PAGES =

2003
[111]

Theorie de Topos et Cohomologie Etale des Schemas I , II , III

Artin, Michael and Grothendieck, Alexander and Verdier, Jean-Louis. Theorie de Topos et Cohomologie Etale des Schemas I , II , III. 1971

1971
[112]

Shoikhet, Boris , TITLE =. Adv. Math. , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.aim.2015.11.030 ,

2016 doi
[113]

Shoikhet, Boris , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2018 , NUMBER =. doi:10.1093/imrn/rnx012 ,

2018 doi
[114]

Simpson, Carlos , TITLE =. 2012 ,

2012
[115]

, TITLE =

Stanculescu, Alexandru E. , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2014 , PAGES =

2014
[116]

Category

Street, Ross , TITLE =. Category. 1974 , MRCLASS =

1974
[117]

Une structure de cat\'

Tabuada, Gon. Une structure de cat\'. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2005 , NUMBER =

2005
[118]

Invariants additifs de

Tabuada, Gon. Invariants additifs de. Int. Math. Res. Not. , FJOURNAL =. 2005 , NUMBER =

2005
[119]

Differential graded versus simplicial categories , JOURNAL =

Tabuada, Gon. Differential graded versus simplicial categories , JOURNAL =. 2010 , NUMBER =

2010
[120]

Thomason, R. W. , TITLE =. Cahiers Topologie G\'. 1980 , NUMBER =

1980
[121]

Homotopical algebraic geometry

To\". Homotopical algebraic geometry. Adv. Math. , FJOURNAL =. 2005 , NUMBER =

2005
[122]

Lectures on dg-categories , BOOKTITLE =

To\". Lectures on dg-categories , BOOKTITLE =. 2011 , MRCLASS =

2011
[123]

Stafford, J. T. and Van den Bergh, Michel , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 2001 , NUMBER =

2001
[124]

Van den Bergh, Michel , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2011 , NUMBER =

2011
[125]

Verdier, Jean-Louis , TITLE =. Ast\'. 1996 , PAGES =

1996
[126]

, TITLE =

Weibel, Charles A. , TITLE =. 1994 , PAGES =

1994
[127]

Homology Homotopy Appl

Barwick, Clark , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2010 , NUMBER =

2010
[128]

Rigidification of dendroidal infinity-operads , JOURNAL =

Bonventre, Peter and Pereira, Lu\'. Rigidification of dendroidal infinity-operads , JOURNAL =. 2021 , NUMBER =. doi:10.4310/hha.2021.v23.n2.a18 ,

2021 doi
[129]

2023 , eprint=

Segalification and the Boardmann-Vogt tensor product , author=. 2023 , eprint=

2023
[130]

2022 , eprint=

Rigidification of cubical quasi-categories , author=. 2022 , eprint=

2022
[131]

2019 , eprint=

Rigidification and the Coherent Nerve for Enriched Quasicategories , author=. 2019 , eprint=

2019
[132]

Proceedings of the

Bubenik, Peter , TITLE =. Proceedings of the. 2012 , MRCLASS =. doi:10.1016/j.entcs.2012.05.002 ,

2012 doi
[133]

Rivera, Manuel and Saneblidze, Samson , TITLE =. J. Homotopy Relat. Struct. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s40062-018-0216-4 ,

2019 doi
[134]

Rivera, Manuel and Saneblidze, Samson , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1112/blms.12202 ,

2018 doi
[135]

2023 , eprint=

An algebraic model for the free loop space , author=. 2023 , eprint=

2023
[136]

Minichiello, Emilio and Rivera, Manuel and Zeinalian, Mahmoud , TITLE =. Adv. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.aim.2023.108898 ,

2023
[137]

Medina-Mardones and Manuel Rivera , year=

Anibal M. Medina-Mardones and Manuel Rivera , year=. Adams' cobar construction as a monoidal E_. 2108.02790 , archivePrefix=

arXiv
[138]

, title =

Mertens, Arne , note =. , title =
[139]

and Hirschhorn, Philip S

Dwyer, William G. and Hirschhorn, Philip S. and Kan, Daniel M. and Smith, Jeffrey H. , TITLE =. 2004 , PAGES =. doi:10.1090/surv/113 ,

2004 doi
[140]

Ghazel, Moncef and Kadhi, Fethi , TITLE =. Appl. Categ. Structures , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s10485-019-09566-w ,

2019 doi
[141]

C. L. Reedy. Homotopy theory of model categories. 1974

1974

Pith tools

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

[1] [1]

Theory Appl

Adámek, Jiří , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2005 , PAGES =

2005

[2] [2]

1994 , PAGES =

Adámek, Jiří and Rosický, Jiří , TITLE =. 1994 , PAGES =

1994

[3] [3]

Algebraic theories: A categorical introduction to general algebra , SERIES =

Ad\'. Algebraic theories: A categorical introduction to general algebra , SERIES =. 2011 , PAGES =

2011

[4] [4]

1997 , PAGES =

Aguiar, Marcelo , TITLE =. 1997 , PAGES =

1997

[5] [5]

2010 , PAGES =

Aguiar, Marcelo and Mahajan, Swapneel , TITLE =. 2010 , PAGES =

2010

[6] [6]

and Van den Bergh, Michel , Date-Added =

Artin, Michael and Tate, ohn. and Van den Bergh, Michel , Date-Added =. Some algebras associated to automorphisms of elliptic curves , Volume =. The

[7] [7]

Auroux, Denis and Katzarkov, Ludmil and Orlov, Dmitri , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2008 , NUMBER =

2008

[8] [8]

, title =

Bacard, Hugo V. , title =. 1009.3673v1 , primaryClass=

arXiv