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

DOI10.1006/AIMA.1997.1695zbMATH Open0909.18006arXivq-alg/9702014OpenAlexW2151404275WikidataQ56608263 ScholiaQ56608263MaRDI QIDQ1267982FDOQ1267982

Authors: John Baez, James G. Dolan 

Publication date: 8 December 1998

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

Abstract: We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or `S-operads', and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad O there is an elt(O)-operad O+ whose algebras are S-operads over O. Letting I be the initial operad with a one-element set of types, and defining I(0) = I, I(i+1) = I(i)+, we call the operations of I(n-1) the `n-dimensional opetopes'. Opetopes form a category, and presheaves on this category are called `opetopic sets'. A weak n-category is defined as an opetopic set with certain properties, in a manner reminiscent of Street's simplicial approach to weak omega-categories. Similarly, starting from an arbitrary operad O instead of I, we define `n-coherent O-algebras', which are n times categorified analogs of algebras of O. Examples include `monoidal n-categories', `stable n-categories', `virtual n-functors' and `representable n-prestacks'. We also describe how n-coherent O-algebra objects may be defined in any (n+1)-coherent O-algebra.

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

Recommendations

• Algebras of higher operads as enriched categories
• scientific article
• scientific article
• scientific article; zbMATH DE number 1254212
• Higher categories and homotopical algebra
• On the derived category of an algebra over an operad
• On the algebraic \(K\)-theory of higher categories
• Higher dimensional algebra. I: Braided monoidal 2-categories
• From operator categories to higher operads
• An introduction to higher categorical algebra

zbMATH Keywords

\(n\)-categoriescoherent algebrasopetopesslice operad

Mathematics Subject Classification ID

Cites Work

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

Cited In (89)

• Algebraic definition of nonstrict cells
• List Objects with Algebraic Structure
• Differential 2-rigs
• Operadic definition of non-strict cells
• Categorifying computations into components via arrows as profunctors
• Moment categories and operads
• Weak units, universal cells, and coherence via universality for bicategories
• A unified framework for notions of algebraic theory
• HYPERMATRIX ALGEBRA AND IRREDUCIBLE ARITY IN HIGHER-ORDER SYSTEMS: CONCEPTS AND PERSPECTIVES
• BiHom Hopf algebras viewed as Hopf monoids
• Operads and Phylogenetic Trees
• A sequent calculus for opetopes
• A combinatorial-topological shape category for polygraphs
• A proof of the existence of Batanin's initial operad
• Twisted arrow categories, operads and Segal conditions
• The algebra of the nerves of omega-categories
• Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
• Deformation theory of cohomological field theories
• Combinatorial cell complexes and Poincaré duality
• Title not available (Why is that?)
• Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics
• Locally constant \(n\)-operads as higher braided operads
• Regular patterns, substitudes, Feynman categories and operads
• A micrological study of negation
• Faà di Bruno for operads and internal algebras
• Shadows and traces in bicategories
• Higher groupoid bundles, higher spaces, and self-dual tensor field equations
• Syntactic approaches to opetopes
• Opetopes and chain complexes
• On operads, bimodules and analytic functors
• Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories)
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Title not available (Why is that?)
• Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories
• An algebraic definition of \((\infty, N)\)-categories
• The petit topos of globular sets
• \(\infty\)-operads via symmetric sequences
• Feynman categories and representation theory
• Operadic categories and décalage
• Higher-dimensional algebra. IV: 2-tangles.
• A probability monad as the colimit of spaces of finite samples
• Stable Postnikov data of Picard 2-categories
• Theories of analytic monads
• Title not available (Why is that?)
• Finite groups, spherical 2-categories, and 4-manifold invariants
• Weak \(n\)-categories: Opetopic and multitopic foundations.
• Weak \(n\)-categories: Comparing opetopic foundations.
• Weak \(\infty\)-categories via terminal coalgebras
• Enumeration and asymptotic formulas for rectangular partitions of the hypercube
• The incidence comodule bialgebra of the Baez-Dolan construction
• Enriched categories as a free cocompletion
• Weak Cat-operads
• The shuffle pasting
• Involutive categories and monoids, with a GNS-correspondence
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Title not available (Why is that?)
• Weak identity arrows in higher categories
• Representable multicategories
• The formal theory of monoidal monads
• Natural multitransformations of multifunctors
• The universal property of the multitude of trees
• Generalized centers of braided and sylleptic monoidal 2-categories
• Spherical 2-categories and 4-manifold invariants
• Title not available (Why is that?)
• Nerves of bicategories as stratified simplicial sets
• Polynomial functors and opetopes
• Homotopy classification of graded Picard categories
• The web monoid and opetopic sets
• Actads
• Involutive categories, colored $\ast$-operads and quantum field theory
• Coalgebraic components in a many-sorted microcosm
• Differential geometry of gerbes
• Algebras of higher operads as enriched categories
• An \(\omega\)-category with all duals is an \(\omega\)-groupoid
• On weak higher dimensional categories. I: Part 1
• Monoid-like definitions of cyclic operad
• Yoneda structures from 2-toposes
• Homotopy theory for algebras over polynomial monads
• Weakly globular \(\text{cat}^n\)-groups and Tamsamani's model
• An Australian conspectus of higher categories
• Strict \(n\)-hypercategories
• Traces for coalgebraic components
• Polynomial functors and polynomial monads
• Opetopic algebras I: Algebraic structures on opetopic sets
• Polycategories via pseudo-distributive laws
• A study of Penon weak \(n\)-categories. I: Monad interleaving
• Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
• Homotopy theory of algebras of substitudes and their localisation
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1267982)