#cocomplete — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cocomplete, aggregated by home.social.
-
In #enriched #category #theory, where one #considers #categories C enriched in a “#nice” #monoidal category V (generally one where V is #complete, #cocomplete, #closed #symmetric monoidal) there is in #general #no V-enriched #diagonal functor Δ:C→CJ to #speak of. For #example, when V is the category #Ab, there is no #preferred enriched functor J→I along which to #pull #back.
-
In #enriched #category #theory, where one #considers #categories C enriched in a “#nice” #monoidal category V (generally one where V is #complete, #cocomplete, #closed #symmetric monoidal) there is in #general #no V-enriched #diagonal functor Δ:C→CJ to #speak of. For #example, when V is the category #Ab, there is no #preferred enriched functor J→I along which to #pull #back.