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