@BartoszMilewski@mathstodon.xyz
Post #3070440
2026-06-01 15:29 UTC
@sjoerd_visscher
I worked out the right adjoints to profunctor composition. Do you already have it in your library?
https://v15.next.forgejo.org/BartoszMilewski/Categories/src/branch/main/src/ProfClosed.hs
Replies (0)
No replies.