| Title:
|
Iterated algebraic injectivity and the faithfulness conjecture (English) |
| Author:
|
Bourke, John |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
4 |
| Issue:
|
2 |
| Year:
|
2020 |
| Pages:
|
183-210 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
Algebraic injectivity was introduced to capture homotopical structures like algebraic Kan complexes. But at a much simpler level, it allows one to describe sets with operations subject to no equations. If one wishes to add equations (or operations of greater complexity) then it is natural to consider iterated algebraic injectives, which we introduce and study in the present paper. Our main application concerns Grothendieck’s weak $\omega$-groupoids, introduced in Pursuing Stacks, and the closely related definition of weak $\omega$-category due to Maltsiniotis. Using $\omega$ iterations we describe these as iterated algebraic injectives and, via this correspondence, prove the faithfulness conjecture of Maltsiniotis. Through work of Ara, this implies a tight correspondence between the weak $\omega$-categories of Maltsiniotis and those of Batanin/Leinster. (English) |
| Keyword:
|
algebraic injective |
| Keyword:
|
globular theory |
| Keyword:
|
faithfulness conjecture |
| MSC:
|
18C10 |
| MSC:
|
18D05 |
| MSC:
|
55U35 |
| idZBL:
|
Zbl 1458.18012 |
| idMR:
|
MR4133167 |
| DOI:
|
10.21136/HS.2020.13 |
| . |
| Date available:
|
2026-03-12T13:54:46Z |
| Last updated:
|
2026-03-12 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153429 |
| . |
| Reference:
|
[1] Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Vol. 189 of London Mathematical Society Lecture Note Series. Cambridge University Press |
| Reference:
|
[2] Ara, Dimitri: Sur les ∞-groupoïdes de Grothendieck et une variante ∞-categoríque..PhD thesis, Université Paris VII |
| Reference:
|
[3] Ara, Dimitri: On the homotopy theory of Grothendieck ω-groupoids..Journal of Pure and Applied Algebra 217, 1237–1278 MR 3019735 |
| Reference:
|
[4] Batanin, Michael: Monoidal globular categories as a natural environment for the theory of weak n-categories..Advances in Mathematics 136(1) 39–103 10.1006/aima.1998.1724 |
| Reference:
|
[5] Berger, Clemens: A Cellular Nerve for Higher Categories..Advances in Mathematics 169,(2002) 118–175 MR 1916373, 10.1006/aima.2001.2056 |
| Reference:
|
[6] Bird, Gregory: Limits in 2-categories of locally-presented categories..PhD thesis, University of Sydney |
| Reference:
|
[7] Bourke, John: Grothendieck ω-groupoids as iterated injectives.Talk given at CT2016. Slides at http://mysite.science.uottawa.ca/phofstra/CT2016/slides/Bourke.pdf |
| Reference:
|
[8] Bourke, John: Equipping weak equivalences with algebraic structure..Mathematische Zeitschrift 294(3), 995-1019 MR 4074030, 10.1007/s00209-019-02305-w |
| Reference:
|
[9] Bourke, J., Garner, R.: On semiflexible, flexible and pie algebras..Journal of Pure and Applied Algebra 217, 293–321 MR 2969254, 10.1016/j.jpaa.2012.06.002 |
| Reference:
|
[10] Bourke, J., Garner, R.: Algebraic weak factorisation systems II: Categories of weak maps..Journal of Pure and Applied Algebra 220, 148–174 MR 3393454, 10.1016/j.jpaa.2015.06.003 |
| Reference:
|
[11] Bourke, J, Garner, R.: Monads and theories..Advances in Mathematics 251, 1024–1071 MR 3956765 |
| Reference:
|
[12] Gabriel, P., Ulmer, F.: Lokal präsentierbare Kategorien, vol. 221 of Lecture Notes in Mathematics..Springer-Verlag |
| Reference:
|
[13] Garner, Richard: Understanding the small object argument..Applied Categorical Structures 17(3), 247–285 MR 2506256, 10.1007/s10485-008-9137-4 |
| Reference:
|
[14] Grothendieck, Alexander: Pursuing Stacks. |
| Reference:
|
[15] Henry, Simon: Algebraic models of homotopy types and the homotopy hypothesis..Arxiv Preprint 2016, https://arxiv.org/abs/1609.04622 |
| Reference:
|
[16] Lack, Steve: Homotopy-theoretic aspects of 2-monads..Journal of Homotopy and Related Structures 7(2), 229–260 MR 2369168 |
| Reference:
|
[17] Lanari, Edoardo: Towards a globular path object for weak ∞-groupoids..Journal of Pure and Applied Algebra 224, 630–702 MR 3987970, 10.1016/j.jpaa.2019.06.004 |
| Reference:
|
[18] Leinster, Tom: A survey of definitions of n-category..Theory and Applications of Categories 10 1–70 MR 1883478, 10.70930/tac/683ufulm |
| Reference:
|
[19] Maltsiniotis, Georges: Grothendieck ω-groupoids, and still another definition of ω-categories..Arxiv Preprint 2010, https://arxiv.org/abs/1009.2331 |
| Reference:
|
[20] Nikolaus, Thomas: Algebraic models for higher categories..Indag. Math. (N.S.) 21, no. 1–2, 52–75 MR 2832482, 10.1016/j.indag.2010.12.004 |
| Reference:
|
[21] Street, Ross: The petit topos of globular sets..Journal of Pure and Applied Algebra 154 299–315 10.1016/S0022-4049(99)00183-8 |
| . |
