Codescent objects and coherence

By Stephen Lack. 2002

115 citations recorded by the source corpus.

Subfields: Geometry and Topology, Mathematical Physics, Neurology

View Paper: https://www.semanticscholar.org/paper/a62c9201dde0875a17378a8e52cfafd3b2b290d6

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Geometry and Topology

In Mathematical Physics

In Neurology

Citations in the corpus

Enhanced 2-categories and limits for lax morphisms (2011, background): “ them. The functor Qw is called the w-morphism classiﬁer; see [BKP89]. Note that Qp is traditionally denoted (−)′. Several conditions on Tensuring that T-Algshas w-codescent objects are considered in [Lac02], including: • K is cocomplete, and Thas a rank (that is, its 2-functor part preserves α-ﬁlte”
Homotopy theory for algebras over polynomial monads (2013, unknown): “This correspondence respects the category structures on both sides and is 2-functorial in A, see [42] for details.”
Homotopy-theoretic aspects of 2-monads (2006, background): “For the converse, it was shown in [11] that for any algebra A, the algebra A′ can be constructed from free algebras using coinserters and coequifiers (in T -Algs); since the flexible algebras are the retracts of the A′, it follows that they are flexible colimits of free algebras.”
A 2-Categories Companion (2007, background): “See [33] and the references therein for a discussion of proofs that pseudo algebras are equivalent to strict ones.”
The Eckmann–Hilton argument and higher operads (2002, background): “T(1) ✛ ✛✲ T(2)(1) T(3)(1) ✛✛ Recall [28, 35] that for a truncated cosimplicial category E E ✲ ✲ ✛ d0 d1 s0 E(1) E(2) ✲ ✲ ✲ d0 d2 d1”
Polynomials in categories with pullbacks (2011, background): “…aspects of 2-category theory in section(8), and the sense in which the bicategories of polynomials may be iterated to produced higher categorical structures in remark(28), indicates that the further study of polynomials within higher dimensional category theory is likely to be very fruitful.”
Equivariant iterated loop space theory and permutative G–categories (2012, unknown): “With this solution, the papers [16, 18] give considerable categorical understanding of the categories of genuine permutative and symmetric”