Homomorphisms of higher categories
From MaRDI portal
Publication:984873
DOI10.1016/J.AIM.2010.01.022zbMATH Open1205.18004arXiv0810.4450OpenAlexW2136213479MaRDI QIDQ984873FDOQ984873
Authors: Richard Garner 
Publication date: 20 July 2010
Published in: Advances in Mathematics (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/0810.4450
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
- Homotopical algebra
- Understanding the small object argument
- Introduction to bicategories
- Two-dimensional monad theory
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- Title not available (Why is that?)
- Natural weak factorization systems.
- Cofibrant objects among higher-dimensional categories
- Coherence for tricategories
- Limits indexed by category-valued 2-functors
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Aspects of topoi
- A Quillen model structure for bicategories
- Title not available (Why is that?)
- 2-nerves for bicategories
- Higher-dimensional word problems with applications to equational logic
- The low-dimensional structures formed by tricategories
- Constructions of factorization systems in categories
- Algebras of higher operads as enriched categories
- Title not available (Why is that?)
- ARE OPERADS ALGEBRAIC THEORIES?
Cited In (14)
- A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
- Computads for weak \(\omega \)-categories as an inductive type
- The Frobenius condition, right properness, and uniform fibrations
- On the construction of functorial factorizations for model categories
- Coherence in Three-Dimensional Category Theory
- Title not available (Why is that?)
- Algebraic weak factorisation systems. II: Categories of weak maps.
- Hom weak ω-categories of a weak ω-category
- Algebraic weak factorisation systems. I: Accessible AWFS.
- A cubical Squier’s theorem
- A category theoretical background for homomorphism theorems
- A proof of the existence of Batanin's initial operad
- Elimination of quotients in various localisations of premodels into models
- Pointed homotopy and pointed lax homotopy of 2-crossed module maps
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)
