Post #3023661
2026-05-13 06:56 UTC
@BartoszMilewski@mathstodon.xyz @6d03@mathstodon.xyz Oh, really curious to see that! I tried cotabulation once, but it was very complicated, an I didn’t keep it up to date with later refactorings: https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Prof.hs#L190
Replies (1)
-
@BartoszMilewski@mathstodon.xyz 2026-05-13 07:18
@sjoerd_visscher@types.pl @6d03@mathstodon.xyz Well, I'm afraid my code is really a toy example based on endofunctors. What I really need is categories and functors between them. What definition of a category did you use?