Zulip Chat Archive
Stream: Is there code for X?
Topic: Comonads
Aaron Liu (Feb 23 2025 at 02:37):
Are there comonads anywhere, outside of CategoryTheory? Like we have docs#Monad and friends, but no comonads or coapplicatives.
Kim Morrison (Feb 24 2025 at 00:15):
No, we don't. Do you have an application in mind?
Aaron Liu (Feb 24 2025 at 00:19):
Not yet, just curious, after seeing a video on comonads and computation
Last updated: May 02 2025 at 03:31 UTC