| Title:
|
Orientals as free algebras (English) |
| Author:
|
Ara, Dimitri |
| Author:
|
Lafont, Yves |
| Author:
|
Métayer, François |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
7 |
| Issue:
|
1 |
| Year:
|
2023 |
| Pages:
|
293-327 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
The aim of this paper is to give an alternative construction of Street’s cosimplicial object of orientals, based on an idea of Burroni that orientals are free algebras for some algebraic structure on strict $\omega$-categories. More precisely, following Burroni, we define the notion of an expansion on an $\omega$-category and we show that the forgetful functor from strict $\omega$-categories endowed with an expansion to strict $\omega$-categories is monadic. By iterating this monad starting from the empty $\omega$-category, we get a cosimplicial object in strict $\omega$-categories. Our main contribution is to show that this cosimplicial object is the cosimplicial objects of orientals. To do so, we prove, using Steiner's theory of augmented directed chain complexes, a general result for comparing polygraphs having same generators and same linearized sources and targets. (English) |
| Keyword:
|
augmented directed complexes |
| Keyword:
|
cones |
| Keyword:
|
expansions |
| Keyword:
|
polygraphs |
| Keyword:
|
orientals |
| Keyword:
|
simplices |
| Keyword:
|
strict $\omega$-categories |
| MSC:
|
18N30 |
| MSC:
|
18N50 |
| MSC:
|
55U10 |
| idZBL:
|
Zbl 1532.18013 |
| idMR:
|
MR4600462 |
| DOI:
|
10.21136/HS.2023.08 |
| . |
| Date available:
|
2026-03-13T10:17:06Z |
| Last updated:
|
2026-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153463 |
| . |
| Reference:
|
[1] Adámek, J., Rosický, J.: Locally presentable and accessible categories.London mathematical society lecture note series, Cambridge University Press |
| Reference:
|
[2] Ara, D., Gagna, A., Rovelli, M., Ozornova, V.: A categorical characterization of strong Steiner \omega-categories.J. Pure Appl. Algebra, Vol. 227, Iss. 7, 24 MR 4534727 |
| Reference:
|
[3] Ara, D., Maltsiniotis, G.: Le type d’homotopie de la \infty-catégorie associée à un complexe simplicial.Preprint MR 2200690 |
| Reference:
|
[4] Ara, D., Maltsiniotis, G.: Joint et tranches pour les \infty-catégories strictes.Mém. Soc. Math. Fr. (N.S.), Iss. 165, vi + 213 MR 4146146 |
| Reference:
|
[5] Buckley, M., Garner, R.: Orientals and cubes, inductively.Adv. Math., Vol. 303, 175-191 MR 3552524, 10.1016/j.aim.2016.07.026 |
| Reference:
|
[6] Burroni, A.: Higher-dimensional word problems with applications to equational logic.Theoret. Comput. Sci., Vol. 115, Iss. 1, 43-62 10.1016/0304-3975(93)90054-W |
| Reference:
|
[7] Burroni, A.: Une autre approche des \omega-categories.Cah. Topol. Géom. Différ. Catég., Vol. 46, Iss. 3, 185-186 |
| Reference:
|
[8] Burroni, A.: Une autre approche des orientaux.Preprint |
| Reference:
|
[9] Burroni, A.: A new calculation of the orientals of Street.Slides of a talk given in the 3rd annual meeting of <i>Linear Logic in Computer Science</i>, Oxford |
| Reference:
|
[10] Lafont, Y., Métayer, F.: Polygraphic resolutions and homology of monoids.J. Pure Appl. Algebra, Vol. 213, Iss. 6, 947-968 MR 2498787 |
| Reference:
|
[11] Lafont, Y., Métayer, F., Worytkiewicz, K.: A folk model structure on omega-cat.Advances in Math., Vol. 224, Iss. 3, 1183-1231 MR 2628809, 10.1016/j.aim.2010.01.007 |
| Reference:
|
[12] Lair, C.: Condition syntaxique de triplabilité d’un foncteur algébrique esquissé.Diagrammes, Vol. 1, CL1-CL16 |
| Reference:
|
[13] Mac Lane, S.: Categories for the working mathematician.Graduate texts in mathematics, Springer-Verlag |
| Reference:
|
[14] Métayer, F.: Resolutions by polygraphs.Theory Appl. Categ., Vol. 11, No. 7, 148-184 MR 1988395 |
| Reference:
|
[15] Métayer, F.: Cofibrant objects among higher-dimensional categories.Homology, Homotopy Appl., Vol. 10, Iss. 1, 181-203 MR 2386046, 10.4310/HHA.2008.v10.n1.a7 |
| Reference:
|
[16] Steiner, R.: Omega-categories and chain complexes.Homology Homotopy Appl., Vol. 6, Iss. 1, 175-200 MR 2061574, 10.4310/HHA.2004.v6.n1.a12 |
| Reference:
|
[17] Steiner, R.: Orientals.Categories in algebra, geometry and mathematical physics, pages 427-439, Contemp. math. 431 MR 2342840 |
| Reference:
|
[18] Street, R.: The algebra of oriented simplexes.J. Pure Appl. Algebra, Vol. 49, Iss. 3, 283-335 |
| Reference:
|
[19] Street, R.: Parity complexes.Cah. Topol. Géom. Différ. Catég., Vol. 32, Iss. 4, 315-343 |
| Reference:
|
[20] Street, R.: Parity complexes: corrigenda.Cah. Topol. Géom. Différ. Catég., Vol. 35, Iss. 4, 359-361 |
| . |
