Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes

DOI10.1006/AIMA.1997.1695zbMath0909.18006arXivq-alg/9702014OpenAlexW2151404275WikidataQ56608263 ScholiaQ56608263MaRDI QIDQ1267982

John C. Baez, James G. Dolan

Publication date: 8 December 1998

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/q-alg/9702014

zbMATH Keywords

\(n\)-categoriescoherent algebrasopetopesslice operad

Mathematics Subject Classification ID

Related Items (70)

Enumeration and Asymptotic Formulas for Rectangular Partitions of the Hypercube ⋮ \(\infty\)-operads via symmetric sequences ⋮ Coalgebraic Components in a Many-Sorted Microcosm ⋮ Feynman categories and representation theory ⋮ BiHom Hopf algebras viewed as Hopf monoids ⋮ Homotopy classification of graded Picard categories ⋮ Weakly globular \(\text{cat}^n\)-groups and Tamsamani's model ⋮ The web monoid and opetopic sets ⋮ A unified framework for notions of algebraic theory ⋮ Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories ⋮ Unnamed Item ⋮ Homotopy theory of algebras of substitudes and their localisation ⋮ Yoneda structures from 2-toposes ⋮ Categorifying Computations into Components via Arrows as Profunctors ⋮ Weak units, universal cells, and coherence via universality for bicategories ⋮ Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures ⋮ A micrological study of negation ⋮ Actads ⋮ The shuffle pasting ⋮ Moment categories and operads ⋮ Stable Postnikov data of Picard 2-categories ⋮ Shadows and traces in bicategories ⋮ A combinatorial-topological shape category for polygraphs ⋮ Involutive categories and monoids, with a GNS-correspondence ⋮ Deformation theory of cohomological field theories ⋮ Differential 2-rigs ⋮ Polycategories via pseudo-distributive laws ⋮ Enriched categories as a free cocompletion ⋮ HYPERMATRIX ALGEBRA AND IRREDUCIBLE ARITY IN HIGHER-ORDER SYSTEMS: CONCEPTS AND PERSPECTIVES ⋮ On operads, bimodules and analytic functors ⋮ Weak \(n\)-categories: Opetopic and multitopic foundations. ⋮ Higher-dimensional algebra. IV: 2-tangles. ⋮ The formal theory of monoidal monads ⋮ Operadic categories and décalage ⋮ Weak \(n\)-categories: Comparing opetopic foundations. ⋮ Twisted arrow categories, operads and Segal conditions ⋮ An \(\omega\)-category with all duals is an \(\omega\)-groupoid ⋮ Traces for coalgebraic components ⋮ Polynomial functors and polynomial monads ⋮ Unnamed Item ⋮ CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS ⋮ Natural multitransformations of multifunctors ⋮ Operads and Phylogenetic Trees ⋮ Regular patterns, substitudes, Feynman categories and operads ⋮ Syntactic approaches to opetopes ⋮ Opetopic algebras I: Algebraic structures on opetopic sets ⋮ Theories of analytic monads ⋮ The incidence comodule bialgebra of the Baez-Dolan construction ⋮ Polynomial functors and opetopes ⋮ Combinatorial cell complexes and Poincaré duality ⋮ Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics ⋮ Nerves of bicategories as stratified simplicial sets ⋮ Faà di Bruno for operads and internal algebras ⋮ Involutive categories, colored $\ast$-operads and quantum field theory ⋮ Generalized centers of braided and sylleptic monoidal 2-categories ⋮ Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories ⋮ A Probability Monad as the Colimit of Spaces of Finite Samples ⋮ An Australian Conspectus of Higher Categories ⋮ Higher groupoid bundles, higher spaces, and self-dual tensor field equations ⋮ Representable multicategories ⋮ Spherical 2-categories and 4-manifold invariants ⋮ List Objects with Algebraic Structure ⋮ Finite groups, spherical 2-categories, and 4-manifold invariants ⋮ Homotopy theory for algebras over polynomial monads ⋮ The universal property of the multitude of trees ⋮ On weak higher dimensional categories. I: Part 1 ⋮ The petit topos of globular sets ⋮ Differential geometry of gerbes ⋮ Unnamed Item ⋮ Monoid-like definitions of cyclic operads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The combinatorics of n-categorical pasting
• The algebra of oriented simplexes
• Une théorie combinatoire des séries formelles
• Nonstrict notions of \(n\)-category and \(n\)-groupoid via multisimplical sets
• Higher-dimensional algebra. II: 2-Hilbert spaces
• Homotopy invariant algebraic structures on topological spaces
• Avoiding the axiom of choice in general category theory
• Higher dimensional algebra. I: Braided monoidal 2-categories
• Homotopical algebra
• The geometry of iterated loop spaces
• From Groups to Groupoids: a Brief Survey
• Infinite Loop Spaces (AM-90)
• Introduction to bicategories
• Coherence for tricategories
• Higher-dimensional algebra and topological quantum field theory
• Homotopy Associativity of H-Spaces. I
• General Theory of Natural Equivalences

This page was built for publication: Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes