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.