Homomorphisms of higher categories
From MaRDI portal
Publication:984873
Abstract: We describe a construction that to each algebraically specified notion of higher-dimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction is such that these homomorphisms admit a strictly associative and unital composition. We give two applications of this construction. The first is to tricategories; and here we do not obtain the trihomomorphisms defined by Gordon, Power and Street, but only something equivalent in a suitable sense. The second is to Batanin's weak omega-categories.
Recommendations
- scientific article; zbMATH DE number 1124066
- Higher categories and homotopical algebra
- A category theoretical background for homomorphism theorems
- Homotopic properties of categories of extensions
- Publication:4722248
- Relative homological categories
- scientific article; zbMATH DE number 898058
- scientific article; zbMATH DE number 3235053
- On homogeneous exact categories
- Categorical homotopy theory
Cites work
- scientific article; zbMATH DE number 2125641 (Why is no real title available?)
- scientific article; zbMATH DE number 1303765 (Why is no real title available?)
- scientific article; zbMATH DE number 3296291 (Why is no real title available?)
- 2-nerves for bicategories
- A Quillen model structure for bicategories
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- ARE OPERADS ALGEBRAIC THEORIES?
- Algebras of higher operads as enriched categories
- Aspects of topoi
- Cofibrant objects among higher-dimensional categories
- Coherence for tricategories
- Constructions of factorization systems in categories
- Higher-dimensional word problems with applications to equational logic
- Homotopical algebra
- Introduction to bicategories
- Limits indexed by category-valued 2-functors
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- Natural weak factorization systems.
- The low-dimensional structures formed by tricategories
- Two-dimensional monad theory
- Understanding the small object argument
Cited in
(15)- High-level methods for homotopy construction in associative \(n\)-categories
- The Frobenius condition, right properness, and uniform fibrations
- A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
- scientific article; zbMATH DE number 7618929 (Why is no real title available?)
- Computads for weak \(\omega \)-categories as an inductive type
- Elimination of quotients in various localisations of premodels into models
- A cubical Squier's theorem
- Pointed homotopy and pointed lax homotopy of 2-crossed module maps
- A category theoretical background for homomorphism theorems
- Algebraic weak factorisation systems. I: Accessible AWFS.
- Algebraic weak factorisation systems. II: Categories of weak maps.
- Hom weak ω-categories of a weak ω-category
- On the construction of functorial factorizations for model categories
- A proof of the existence of Batanin's initial operad
- Coherence in Three-Dimensional Category Theory
This page was built for publication: Homomorphisms of higher categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q984873)
