@BartoszMilewski@mathstodon.xyz
Post #3023660
2026-05-13 06:50 UTC
@sjoerd_visscher@types.pl @6d03@mathstodon.xyz
Next I want to test the definition of tabulation in Prof
Replies (1)
-
@sjoerd_visscher@types.pl 2026-05-13 06:56
@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