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