⎯ΘωΘ⟶ · @yog
203 followers · 852 posts · Server mathstodon.xyz

In , where one C enriched in a “ category V (generally one where V is , , monoidal) there is in V-enriched functor Δ:C→CJ to of. For , when V is the category , there is no enriched functor J→I along which to .

#back #pull #preferred #ab #example #speak #diagonal #no #general #symmetric #closed #cocomplete #complete #monoidal #nice #categories #considers #theory #category #enriched

Last updated 3 years ago