enriched category theory

category theory

monoidal category, closed monoidal category

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

enriched category

enriched functor, profunctor

enriched functor category

weighted limit

end, coend

enriched homotopical category

enriched model category

model structure on homotopical presheaves

Edit this sidebar

Last revised on August 6, 2018 at 09:12:07. See the history of this page for a list of all contributions to it.