Previous |  Up |  Next

Article

Keywords:
opetopes; oriented graded poset
Summary:
We introduce in this paper a new formalisation of positive opetopes where faces are organised in a poset. Then we show that our definition is equivalent to that of positives opetopes as given by Marek Zawadowski in [9].
References:
[1] Ara, Dimitri: Sur les infini-groupoïdes de grothendieck et une variante infini-catégorique. Thèse de doctorat dirigée par Maltsiniotis, Georges Mathématiques Paris 7 2010
[2] Baez, John C., Dolan, James: Higher-dimensional algebra III: N-categories and the algebra of opetopes. Advances in Mathematics, DOI:135(2):145–206
[3] Hadzihasanovic, Amar: A combinatorial-topological shape category for polygraphs. Applied Categorical Structures, Vol. 28, 419-476 DOI 10.1007/s10485-019-09586-6 | MR 4089625
[4] 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 DOI 10.1016/j.aim.2010.02.012 | MR 2652220
[5] Leinster, Tom: Higher operads, higher categories. Cambridge University Press
[6] Palm, Thorsten: Dendrotopic sets for weak infinity-categories. Ph.D. - York University
[7] Palm, Thorsten: Dendrotopic sets. Galois theory, hopf algebras, and semiabelian categories, pages 411-462, Fields institute communications 43 MR 2075598
[8] Thanh, Cédric Ho, Curien, Pierre-Louis, Mimram, Samuel: Type theoretical approaches to opetopes. Higher Structures, Vol. 6, 80-181 DOI 10.21136/HS.2022.02 | MR 4456593
[9] Zawadowski, Marek: On positive opetopes, positive opetopic cardinals and positive opetopic set. arXiv:0708.2658
Partner of
EuDML logo