On weak higher dimensional categories. I: Part 1

DOI10.1016/S0022-4049(99)00179-6MaRDI QIDQ1588075zbMATH OpenOpenAlexFDO

Authors Claudio Hermida, Michael Makkai, John Power

Publication date 28 October 2001

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-4049(99)00179-6

zbMATH Keywords

multicategorymultitopic setopetopic setspasting diagramweak higher-dimensional category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) General theory of categories and functors (18A99) Quantum groups (quantized function algebras) and their representations (20G42)

Review text

This is the first part of a three-part paper introducing the concept of multitopic set, which is intended as a foundation for a construction of weak higher-dimensional categories. Multitopic sets are analogous to the opetopic sets of \textit{J. C. Baez} and \textit{J. Dolan} [``Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes, Adv. Math. 135, No. 2, 145-206 (1998; Zbl 0909.18006)], but they are more geometric. A multitopic set consists of cells and pasting diagrams in various dimensions, where the pasting diagrams are got from the cells by amalgamation, using ideas from multicategory theory. Cells and pasting diagrams of dimension \(k\) have domains and codomains of dimension \(k-1\); the domains are arbitrary pasting diagrams but the codomains are cells. This first part of the paper consists of an informal introduction; details will be given in later parts.

Recommendations

• On weak higher-dimensional categories. I: Part 3
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• On weak higher-dimensional categories. I. 2
• scientific article; zbMATH DE number 2125641
• Weak \(n\)-categories: Opetopic and multitopic foundations.

Cites work

• A 2-categorical pasting theorem
• Avoiding the axiom of choice in general category theory
• Coherence for tricategories
• Higher categories, strings, cubes and simplex equations
• Higher-dimensional algebra and topological quantum field theory
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• scientific article; zbMATH DE number 19499 (Why is no real title available?)
• scientific article; zbMATH DE number 40564 (Why is no real title available?)
• scientific article; zbMATH DE number 1136106 (Why is no real title available?)
• scientific article; zbMATH DE number 4122189 (Why is no real title available?)
• scientific article; zbMATH DE number 922680 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Introduction to bicategories
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Nonstrict notions of n-category and n-groupoid via multisimplical sets
• The algebra of oriented simplexes
• The combinatorics of n-categorical pasting

Cited in

(23)

• Weak \(n\)-categories: Opetopic and multitopic foundations.
• Weak n-categories: Comparing opetopic foundations.
• The petit topos of globular sets
• Strict \(n\)-hypercategories
• The incidence comodule bialgebra of the Baez-Dolan construction
• Actads
• A combinatorial-topological shape category for polygraphs
• Higher cospans and weak cubical categories (cospans in algebraic topology. I)
• The formal theory of monoidal monads
• scientific article; zbMATH DE number 2152044 (Why is no real title available?)
• Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
• Syntactic approaches to opetopes
• Higher dimensional categories. From double to multiple categories
• Weak units, universal cells, and coherence via universality for bicategories
• Non-unital polygraphs form a presheaf category
• An introduction to multiple categories (on weak and lax multiple categories. I.)
• On weak higher-dimensional categories. I. 2
• On weak higher-dimensional categories. I: Part 3
• The shuffle pasting
• The univalence principle
• Monad interleaving: a construction of the operad for Leinster's weak -categories
• The category of 3-computads is not cartesian closed
• Polynomial functors and opetopes

This page was built for publication: On weak higher dimensional categories. I: Part 1

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