Article
Full entry |
PDF
(0.7 MB)
Feedback
PDF
(0.7 MB)
Feedback
Keywords:
augmented directed complexes; cones; expansions; polygraphs; orientals; simplices; strict $\omega$-categories
augmented directed complexes; cones; expansions; polygraphs; orientals; simplices; strict $\omega$-categories
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.
References:
[1] Adámek, J., Rosický, J.: Locally presentable and accessible categories. London mathematical society lecture note series, Cambridge University Press
[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
[3] Ara, D., Maltsiniotis, G.: Le type d’homotopie de la \infty-catégorie associée à un complexe simplicial. Preprint MR 2200690
[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
[5] Buckley, M., Garner, R.: Orientals and cubes, inductively. Adv. Math., Vol. 303, 175-191 DOI 10.1016/j.aim.2016.07.026 | MR 3552524
[6] Burroni, A.: Higher-dimensional word problems with applications to equational logic. Theoret. Comput. Sci., Vol. 115, Iss. 1, 43-62 DOI 10.1016/0304-3975(93)90054-W
[7] Burroni, A.: Une autre approche des \omega-categories. Cah. Topol. Géom. Différ. Catég., Vol. 46, Iss. 3, 185-186
[8] Burroni, A.: Une autre approche des orientaux. Preprint
[9] Burroni, A.: A new calculation of the orientals of Street. Slides of a talk given in the 3rd annual meeting of Linear Logic in Computer Science, Oxford
[10] Lafont, Y., Métayer, F.: Polygraphic resolutions and homology of monoids. J. Pure Appl. Algebra, Vol. 213, Iss. 6, 947-968 MR 2498787
[11] Lafont, Y., Métayer, F., Worytkiewicz, K.: A folk model structure on omega-cat. Advances in Math., Vol. 224, Iss. 3, 1183-1231 DOI 10.1016/j.aim.2010.01.007 | MR 2628809
[12] Lair, C.: Condition syntaxique de triplabilité d’un foncteur algébrique esquissé. Diagrammes, Vol. 1, CL1-CL16
[13] Mac Lane, S.: Categories for the working mathematician. Graduate texts in mathematics, Springer-Verlag
[14] Métayer, F.: Resolutions by polygraphs. Theory Appl. Categ., Vol. 11, No. 7, 148-184 MR 1988395
[15] Métayer, F.: Cofibrant objects among higher-dimensional categories. Homology, Homotopy Appl., Vol. 10, Iss. 1, 181-203 DOI 10.4310/HHA.2008.v10.n1.a7 | MR 2386046
[16] Steiner, R.: Omega-categories and chain complexes. Homology Homotopy Appl., Vol. 6, Iss. 1, 175-200 DOI 10.4310/HHA.2004.v6.n1.a12 | MR 2061574
[17] Steiner, R.: Orientals. Categories in algebra, geometry and mathematical physics, pages 427-439, Contemp. math. 431 MR 2342840
[18] Street, R.: The algebra of oriented simplexes. J. Pure Appl. Algebra, Vol. 49, Iss. 3, 283-335
[19] Street, R.: Parity complexes. Cah. Topol. Géom. Différ. Catég., Vol. 32, Iss. 4, 315-343
[20] Street, R.: Parity complexes: corrigenda. Cah. Topol. Géom. Différ. Catég., Vol. 35, Iss. 4, 359-361
Search
Partner of
