Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
From MaRDI portal
Publication:1269468
DOI10.1006/aima.1998.1724zbMath0912.18006OpenAlexW2022585163WikidataQ56608258 ScholiaQ56608258MaRDI QIDQ1269468
Publication date: 25 May 1999
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/aima.1998.1724
Related Items (92)
Higher fundamental groupoids for spaces ⋮ Cochain level May-Steenrod operations ⋮ Algebraic Kan extensions along morphisms of internal algebra classifiers ⋮ Feynman categories and representation theory ⋮ Quillen-Segal algebras and Stable homotopy theory ⋮ Iterated wreath product of the simplex category and iterated loop spaces ⋮ Higher dimensional categories: induction on extensivity ⋮ Weakly globular \(\text{cat}^n\)-groups and Tamsamani's model ⋮ Unnamed Item ⋮ On the homotopy theory of Grothendieck \(\infty \)-groupoids ⋮ Convex hull realizations of the multiplihedra ⋮ A unified framework for notions of algebraic theory ⋮ Hom weak ω-categories of a weak ω-category ⋮ Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories ⋮ Unnamed Item ⋮ Homotopy theory of algebras of substitudes and their localisation ⋮ Freely adjoining monoidal duals ⋮ Yoneda structures from 2-toposes ⋮ Weak $\infty$-categories via terminal coalgebras ⋮ \(A_\infty\) functors for Lagrangian correspondences ⋮ A closed model structure on the category of weakly unital dg categories, II ⋮ The shuffle pasting ⋮ Homotopy type theory and Voevodsky’s univalent foundations ⋮ Moment categories and operads ⋮ Unnamed Item ⋮ Symmetrisation of \(n\)-operads and compactification of real configuration spaces ⋮ Book review of: D. Yau, Colored operads ⋮ A proof of the existence of Batanin's initial operad ⋮ Elimination of quotients in various localisations of premodels into models ⋮ The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category ⋮ A combinatorial-topological shape category for polygraphs ⋮ Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids ⋮ Operadic categories and duoidal Deligne's conjecture ⋮ The twisted tensor product of \(\operatorname{dg}\) categories and a contractible 2-operad ⋮ An \(E_\infty\)-extension of the associahedra and the Tamarkin cell mystery ⋮ Joyal's category \(\varTheta\) is a test category ⋮ Monoidal weak ω-categories as models of a type theory ⋮ What is an equivalence in a higher category? ⋮ A categorical characterization of strong Steiner \(\omega\)-categories ⋮ Algebras of higher operads as enriched categories ⋮ Operads within monoidal pseudo algebras ⋮ Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting) ⋮ Unnamed Item ⋮ On operads, bimodules and analytic functors ⋮ Centers and homotopy centers in enriched monoidal categories ⋮ A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof ⋮ $(A_\infty,2)$-categories and relative 2-operads ⋮ Two-dimensional regularity and exactness ⋮ Weak \(n\)-categories: Opetopic and multitopic foundations. ⋮ Monads with arities and their associated theories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mathematical models of abstract systems: knowing abstract geometric forms ⋮ Operadic categories and their skew monoidal categories of collections ⋮ Segal-type algebraic models of \(n\)-types ⋮ Iterated distributive laws ⋮ The Eckmann-Hilton argument and higher operads ⋮ On the unicity of the theory of higher categories ⋮ Homotopy-Theoretic Models of Type Theory ⋮ Unnamed Item ⋮ The 2-dimensional stable homotopy hypothesis ⋮ Monads and theories ⋮ On 3-gauge transformations, 3-curvatures, and Gray-categories ⋮ A cellular nerve for higher categories ⋮ A folk model structure on omega-cat ⋮ Unnamed Item ⋮ Homomorphisms of higher categories ⋮ A Quillen model structure for bicategories ⋮ Operads and PROPs ⋮ Quasi-commutative algebras ⋮ From coherent structures to universal properties ⋮ Fibrations of bigroupoids ⋮ Lax familial representability and lax generic factorizations ⋮ On the twisted tensor product of small dg categories ⋮ Homotopy-coherent algebra via Segal conditions ⋮ Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations ⋮ Generalized enrichment of categories ⋮ Generalized centers of braided and sylleptic monoidal 2-categories ⋮ Weak ω-Categories from Intensional Type Theory ⋮ Iterated algebraic injectivity and the faithfulness conjecture ⋮ A homotopy-theoretic universal property of Leinster's operad for weak ω-categories ⋮ An Australian Conspectus of Higher Categories ⋮ Towards a globular path object for weak \(\infty\)-groupoids ⋮ Representable multicategories ⋮ ASPECTS OF GLOBULAR HIGHER CATEGORY THEORY ⋮ Finite groups, spherical 2-categories, and 4-manifold invariants ⋮ The universal property of the multitude of trees ⋮ On weak higher dimensional categories. I: Part 1 ⋮ The petit topos of globular sets ⋮ Type Theory and Homotopy ⋮ Unnamed Item ⋮ On the Penon method of weakening algebraic structures
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The combinatorics of n-categorical pasting
- Categories in which all strong generators are dense
- Conspectus of variable categories
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Braided tensor categories
- Homotopy coherent category theory and \(A_\infty\)-structures in monoidal categories
- Homotopy theory, and change of base for groupoids and multiple groupoids
- Higher dimensional algebra. I: Braided monoidal 2-categories
- The geometry of iterated loop spaces
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Introduction to bicategories
- Coherence for tricategories
- Higher-dimensional algebra and topological quantum field theory
- On weak higher-dimensional categories. I. 2
This page was built for publication: Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories