-
their lax
analogs (just as a weak 2-category is used more). Let C,D be
bicategories. We
denote composition in "diagrammatic order". A lax
functor P from...
- 2-categories, also
called bicategories, were the
first to be
defined explicitly. A
particularity of
these is that a
bicategory with one
object is exactly...
- {\displaystyle F} . As an
application of this lemma, the
coherence theorem for
bicategories holds.
First we
define the
functor in the
opposite direction μ : F (...
- 2-category with a
single object;
these are
essentially monoidal categories.
Bicategories are a
weaker notion of 2-dimensional
categories in
which the composition...
- Φ : C → D
where C has only one object. Benabou, Jean (1967),
Introduction to
Bicategories Street, Ross (1983),
Enriched Categories and
Cohomology v t e...
-
harvnb error: no target:
CITEREFMorton (help)
Jeffrey C. Morton. “Double
bicategories and
double cospans”. In: J.
Homotopy Relat. Struct. 4.1 (2009), pp. 389–428...
- This is one of the
motivating examples of the
structure in a
closed bicategory. Like all adjunctions, the tensor-hom
adjunction can be
described by its...
- Key
concepts Category Abelian Additive Concrete Pre-abelian
Preadditive Bicategory Adjoint functors CCC
Commutative diagram End
Exponential Functor Kan extension...
- Key
concepts Category Abelian Additive Concrete Pre-abelian
Preadditive Bicategory Adjoint functors CCC
Commutative diagram End
Exponential Functor Kan extension...
- Key
concepts Category Abelian Additive Concrete Pre-abelian
Preadditive Bicategory Adjoint functors CCC
Commutative diagram End
Exponential Functor Kan extension...
