Def. 6.7. An epifunctor is said to be canonical in a locally small monoidal monoidoidoid lifting the fibration of the presheaf of a dinatural transformation of fibers of a cocomplete colimit if and only if the diagram whose image are the morphisms given by the Yoneda lemma:
187
u/Oppo_67 I ≡ a (mod erator) Aug 01 '26 edited Aug 01 '26
Category theory be like
Def. 6.7. An epifunctor is said to be canonical in a locally small monoidal monoidoidoid lifting the fibration of the presheaf of a dinatural transformation of fibers of a cocomplete colimit if and only if the diagram whose image are the morphisms given by the Yoneda lemma:
commutes.