Enriched category
-
2021-05-03
Finite tensor category : looks like \(\mathsf{H}{\hbox{-}}\mathsf{Mod}\), Enriched category over vector spaces, Monoidal category, coherent associativity via pentagon axiom, triangle axiom.
-
2021-03-25
What does it mean for a category to be enriched?
- modern category theory
-
2021-09-16
2-category : a category enriched in small categories, so hom sets are categories and compositions form bifunctors.