enriched category theory

category theory

monoidal category, closed monoidal category

cosmos, multicategory, bicategory, double category, virtual double category

enriched category

enriched functor, profunctor

enriched natural transformation

enriched adjoint functor

enriched product category

enriched functor category

weighted limit

end, coend

copowering (tensoring)

powering (cotensoring)

monoidal enriched category

cartesian closed enriched category

locally cartesian closed enriched category

enriched homotopical category

enriched model category

model structure on homotopical presheaves

Last revised on May 31, 2023 at 13:26:37. See the history of this page for a list of all contributions to it.