@BartoszMilewski@mathstodon.xyz
Post #2449665
2026-05-12 17:38 UTC
Haskell implementation of 2-cells in profunctor equipment
Replies (1)
-
@6d03@mathstodon.xyz 2026-05-12 17:57
@BartoszMilewski@mathstodon.xyz So your profunctors are vertical?