Algebraic & Geometric Topology Volume 26, issue 2 (2026)

Download this article
	For screen
	For printing

Recent Issues

The Journal

About the journal

Ethics and policies

Peer-review process

Submission guidelines

Submission form

Editorial board

Subscriptions

ISSN (electronic): 1472-2739

ISSN (print): 1472-2747

Author index

To appear

Other MSP journals

Symmetry in the cubical Joyal model structure

Brandon Doherty

Algebraic & Geometric Topology 26 (2026) 699–734

DOI: 10.2140/agt.2026.26.699

Bibliography

1	S Awodey, Cartesian cubical model categories, preprint (2023) arXiv:2305.00893
2	S Awodey, E Cavallo, T Coquand, E Riehl, C Sattler, The equivariant model structure on cartesian cubical sets, preprint (2024) arXiv:2406.18497
3	U Buchholtz, E Morehouse, Varieties of cubical sets, from: "Relational and algebraic methods in computer science" (editors P Höfner, D Pous, G Struth), Lecture Notes in Comput. Sci. 10226, Springer (2017) 77 MR3668732
4	T Campion, Cubical sites as Eilenberg–Zilber categories, preprint (2023) arXiv:2303.06206
5	E Cavallo, C Sattler, Relative elegance and cartesian cubes with one connection, preprint (2022) arXiv:2211.14801
6	D C Cisinski, Les préfaisceaux comme modèles des types d’homotopie, 308, Soc. Math. France (2006) MR2294028
7	D C Cisinski, Univalent universes for elegant models of homotopy types, (2014)
8	B Doherty, Cubical models of higher categories without connections, J. Pure Appl. Algebra 227 (2023) 107373 MR4559375
9	B Doherty, K Kapulkin, Z Lindsey, C Sattler, Cubical models of (∞,1)-categories, 1484, Amer. Math. Soc. (2024) MR4756398
10	B Doherty, K Kapulkin, Y Maehara, Equivalence of cubical and simplicial approaches to (∞,n)-categories, Adv. Math. 416 (2023) 108902 MR4548425
11	G Drummond-Cole, P Hackney, A criterion for existence of right-induced model structures, Bull. London Math. Soc. 51 (2019) 309
12	P G Goerss, J F Jardine, Simplicial homotopy theory, 174, Birkhäuser (1999) MR1711612
13	M Grandis, L Mauri, Cubical sets and their site, Theory Appl. Categ. 11 (2003) 185 MR1988396
14	P Hackney, M Rovelli, Induced model structures for higher categories, Proc. Amer. Math. Soc. 150 (2022) 4629 MR4489301
15	P S Hirschhorn, Model categories and their localizations, 99, Amer. Math. Soc. (2003) MR1944041
16	M Hovey, Model categories, 63, Amer. Math. Soc. (1999) MR1650134
17	G B Im, G M Kelly, A universal property of the convolution monoidal structure, J. Pure Appl. Algebra 43 (1986) 75 MR862873
18	S Isaacson, Symmetric cubical sets, J. Pure Appl. Algebra 215 (2011) 1146
19	J F Jardine, Categorical homotopy theory, Homology Homotopy Appl. 8 (2006) 71 MR2205215
20	D M Kan, Abstract homotopy, I, Proc. Nat. Acad. Sci. U.S.A. 41 (1955) 1092 MR79762
21	G Maltsiniotis, La catégorie cubique avec connexions est une catégorie test stricte, Homology Homotopy Appl. 11 (2009) 309 MR2591923
22	C Sattler, Idempotent completion of cubes in posets, preprint (2018) arXiv:1805.04126