Higher-dimensional algebra. III: n-categories and the algebra of opetopes
From MaRDI portal
Publication:1267982
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.
Recommendations
- Algebras of higher operads as enriched categories
- scientific article; zbMATH DE number 2125641
- scientific article; zbMATH DE number 2134022
- 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
Cites work
- scientific article; zbMATH DE number 19499 (Why is no real title available?)
- scientific article; zbMATH DE number 647417 (Why is no real title available?)
- scientific article; zbMATH DE number 937396 (Why is no real title available?)
- scientific article; zbMATH DE number 3264757 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- Avoiding the axiom of choice in general category theory
- Coherence for tricategories
- From Groups to Groupoids: a Brief Survey
- General Theory of Natural Equivalences
- Higher dimensional algebra. I: Braided monoidal 2-categories
- Higher-dimensional algebra and topological quantum field theory
- Higher-dimensional algebra. II: 2-Hilbert spaces
- Homotopical algebra
- Homotopy Associativity of H-Spaces. I
- Homotopy invariant algebraic structures on topological spaces
- Infinite Loop Spaces (AM-90)
- Introduction to bicategories
- Nonstrict notions of \(n\)-category and \(n\)-groupoid via multisimplical sets
- The algebra of oriented simplexes
- The combinatorics of n-categorical pasting
- The geometry of iterated loop spaces
- Une théorie combinatoire des séries formelles
Cited in
(91)- scientific article; zbMATH DE number 2125641 (Why is no real title available?)
- Homotopy theory of algebras of substitudes and their localisation
- Deformation theory of cohomological field theories
- Algebraic definition of nonstrict cells
- Combinatorial cell complexes and Poincaré duality
- scientific article; zbMATH DE number 1279309 (Why is no real title available?)
- Locally constant \(n\)-operads as higher braided operads
- Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics
- A micrological study of negation
- Shadows and traces in bicategories
- Regular patterns, substitudes, Feynman categories and operads
- Higher groupoid bundles, higher spaces, and self-dual tensor field equations
- Faà di Bruno for operads and internal algebras
- scientific article; zbMATH DE number 1303764 (Why is no real title available?)
- Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories)
- Opetopes and chain complexes
- Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Syntactic approaches to opetopes
- Operadic definition of non-strict cells
- List Objects with Algebraic Structure
- On operads, bimodules and analytic functors
- Differential 2-rigs
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- The petit topos of globular sets
- An algebraic definition of \((\infty, N)\)-categories
- \(\infty\)-operads via symmetric sequences
- Categorifying computations into components via arrows as profunctors
- Higher-dimensional algebra. IV: 2-tangles.
- Operadic categories and décalage
- Feynman categories and representation theory
- Stable Postnikov data of Picard 2-categories
- A probability monad as the colimit of spaces of finite samples
- Finite groups, spherical 2-categories, and 4-manifold invariants
- Weak \(n\)-categories: Opetopic and multitopic foundations.
- Theories of analytic monads
- scientific article; zbMATH DE number 1443245 (Why is no real title available?)
- Moment categories and operads
- Weak n-categories: Comparing opetopic foundations.
- The incidence comodule bialgebra of the Baez-Dolan construction
- Enriched categories as a free cocompletion
- Weak \(\infty\)-categories via terminal coalgebras
- Enumeration and asymptotic formulas for rectangular partitions of the hypercube
- Weak units, universal cells, and coherence via universality for bicategories
- Weak Cat-operads
- The shuffle pasting
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- Involutive categories and monoids, with a GNS-correspondence
- scientific article; zbMATH DE number 1086708 (Why is no real title available?)
- scientific article; zbMATH DE number 2028926 (Why is no real title available?)
- Weak identity arrows in higher categories
- Representable multicategories
- A unified framework for notions of algebraic theory
- The formal theory of monoidal monads
- Natural multitransformations of multifunctors
- Generalized centers of braided and sylleptic monoidal 2-categories
- The universal property of the multitude of trees
- Spherical 2-categories and 4-manifold invariants
- Nerves of bicategories as stratified simplicial sets
- scientific article; zbMATH DE number 6431490 (Why is no real title available?)
- Polynomial functors and opetopes
- Homotopy classification of graded Picard categories
- Actads
- The web monoid and opetopic sets
- Involutive categories, colored $\ast$-operads and quantum field theory
- Coalgebraic components in a many-sorted microcosm
- HYPERMATRIX ALGEBRA AND IRREDUCIBLE ARITY IN HIGHER-ORDER SYSTEMS: CONCEPTS AND PERSPECTIVES
- BiHom Hopf algebras viewed as Hopf monoids
- 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
- Weakly globular \(\text{cat}^n\)-groups and Tamsamani's model
- Yoneda structures from 2-toposes
- Homotopy theory for algebras over polynomial monads
- Operads and Phylogenetic Trees
- An Australian conspectus of higher categories
- A sequent calculus for opetopes
- A combinatorial-topological shape category for polygraphs
- Strict \(n\)-hypercategories
- A proof of the existence of Batanin's initial operad
- Traces for coalgebraic components
- Twisted arrow categories, operads and Segal conditions
- Polycategories via pseudo-distributive laws
- The algebra of the nerves of omega-categories
- Polynomial functors and polynomial monads
- Opetopic algebras I: Algebraic structures on opetopic sets
- A study of Penon weak \(n\)-categories. I: Monad interleaving
- Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
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)
