| Title:
|
Opetopic algebras I: Algebraic structures on opetopic sets (English) |
| Author:
|
Ho Thanh, Cédric |
| Author:
|
Leena Subramaniam, Chaitanya |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
6 |
| Issue:
|
1 |
| Year:
|
2022 |
| Pages:
|
311-358 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We define a family of structures called “opetopic algebras”, which are algebraic structures with an underlying opetopic set. Examples of such are categories, planar operads, and Loday’s combinads over planar trees. Opetopic algebras can be defined in two ways, either as the algebras of a “free pasting diagram” parametric right adjoint monad, or as models of a small projective sketch over the category of opetopes. We define an opetopic nerve functor that fully embeds each category of opetopic algebras into the category of opetopic sets. In particular, we obtain fully faithful opetopic nerve functors for categories and for planar coloured Set-operads. This paper is the first in a series aimed at using opetopic spaces as models for higher algebraic structures. (English) |
| Keyword:
|
Opetope |
| Keyword:
|
Opetopic set |
| Keyword:
|
Operad |
| Keyword:
|
Polynomial monad |
| Keyword:
|
Projective sketch |
| MSC:
|
18C20 |
| MSC:
|
18C30 |
| idZBL:
|
Zbl 1506.18010 |
| idMR:
|
MR4456597 |
| DOI:
|
10.21136/HS.2022.06 |
| . |
| Date available:
|
2026-03-13T09:59:00Z |
| Last updated:
|
2026-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153450 |
| . |
| Reference:
|
[1] Adámek, Jiří, Rosický, Jiří: Locally presentable and accessible categories.London mathematical society lecture note series, Cambridge University Press, Cambridge, ISBN:0-521-42261-2, DOI:10.1017/CBO9780511600579 10.1017/CBO9780511600579 |
| Reference:
|
[2] Baez, John C., Dolan, James: Higher-dimensional algebra. III. n-categories and the algebra of opetopes.Advances in Mathematics, Vol. 135, Iss. 2, 145-206, DOI:10.1006/aima.1997.1695 10.1006/aima.1997.1695 |
| Reference:
|
[3] Berger, Clemens, Melliès, Paul-André, Weber, Mark: Monads with arities and their associated theories.Journal of Pure and Applied Algebra, Vol. 216, Iss. 8-9, 2029-2048, https://doi.org/10.1016/j.jpaa.2012.02.039, DOI:10.1016/j.jpaa.2012.02.039 MR 2925893, 10.1016/j.jpaa.2012.02.039 |
| Reference:
|
[4] Cheng, Eugenia: The category of opetopes and the category of opetopic sets.Theory and Applications of Categories, Vol. 11, No. 16, 353-374 MR 2005691, 10.70930/tac/v8omllae |
| Reference:
|
[5] Cheng, Eugenia: Weak n-categories: Comparing opetopic foundations.Journal of Pure and Applied Algebra, Vol. 186, Iss. 3, 219-231, DOI:10.1016/S0022-4049(03)00140-3 MR 2025588, 10.1016/S0022-4049(03)00140-3 |
| Reference:
|
[6] Cheng, Eugenia: Weak n-categories: Opetopic and multitopic foundations.Journal of Pure and Applied Algebra, Vol. 186, Iss. 2, 109-137, DOI:10.1016/S0022-4049(03)00139-7 MR 2025593, 10.1016/S0022-4049(03)00139-7 |
| Reference:
|
[7] Curien, Pierre-Louis, Ho Thanh, Cédric, Mimram, Samuel: A sequent calculus for opetopes.LICS ’19: Proceedings of the 34th annual ACM/IEEE symposium on logic in computer science |
| Reference:
|
[8] Gabriel, Peter, Ulmer, Friedrich: Lokal präsentierbare Kategorien.Lecture notes in mathematics, vol. 221, Springer-Verlag, Berlin-New York |
| Reference:
|
[9] Gambino, Nicola, Kock, Joachim: Polynomial functors and polynomial monads.Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 154, Iss. 1, 153-192, DOI:10.1017/S0305004112000394 MR 3002590, 10.1017/S0305004112000394 |
| Reference:
|
[10] Gepner, David, Haugseng, Rune, Kock, Joachim: \infty-Operads as Analytic Monads.International Mathematics Research Notices, https://doi.org/10.1093/imrn/rnaa332, DOI:10.1093/imrn/rnaa332 MR 4466007, 10.1093/imrn/rnaa332 |
| Reference:
|
[11] Ho Thanh, Cédric: The equivalence between many-to-one polygraphs and opetopic sets.arXiv e-prints |
| Reference:
|
[12] Kock, Joachim: Polynomial functors and trees.International Mathematics Research Notices, Vol. 2011, Iss. 3, 609-673, DOI:10.1093/imrn/rnq068 MR 2764874, 10.1093/imrn/rnq068 |
| Reference:
|
[13] Kock, Joachim, Joyal, André, Batanin, Michael, Mascari, Jean-François: Polynomial functors and opetopes.Advances in Mathematics, Vol. 224, Iss. 6, 2690-2737, DOI:10.1016/j.aim.2010.02.012 MR 2652220, 10.1016/j.aim.2010.02.012 |
| Reference:
|
[14] Leinster, Tom: Higher operads, higher categories.Cambridge University Press, DOI:10.1017/cbo9780511525896 MR 2094071, 10.1017/cbo9780511525896 |
| Reference:
|
[15] Loday, Jean-Louis: Algebras, operads, combinads.Available at https://irma-web1.math.unistra.fr/~loday/ |
| Reference:
|
[16] Moerdijk, Ieke, Weiss, Ittay: Dendroidal sets.Algebraic & Geometric Topology, Vol. 7, 1441-1470, DOI:10.2140/agt.2007.7.1441 MR 2366165, 10.2140/agt.2007.7.1441 |
| Reference:
|
[17] Artin, M., Grothendieck, A., Verdier, J.-L.: Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos.Lecture notes in mathematics, vol. 269, Springer-Verlag, Berlin-New York |
| Reference:
|
[18] Weber, Mark: Familial 2-functors and parametric right adjoints.Theory and Applications of Categories, Vol. 18, No. 22, 665-732 MR 2369114, 10.70930/tac/9l84qqh9 |
| . |
