Post #3210906
2026-05-15 09:33 UTC
@BartoszMilewski@mathstodon.xyz Oh, and I have Star and Costar swapped. A companion of a functor A -> B is a profunctor A +-> B, which is Bop x A -> Set. That matches with Star f b a being b -> f a, which is a morphism in B.
Replies (1)
-
@BartoszMilewski@mathstodon.xyz 2026-05-15 11:40
@sjoerd_visscher@types.pl Half of category theory is struggling with conventions. I decided to use the convention where the direction of the profunctor arrow agrees with the direction of morphisms in the hom-functor.