Post #1905766
2026-04-29 16:07 UTC
Presheaves on C are monadic and comonadic over Families on |C|
Replies (2)
-
@jonmsterling@mathstodon.xyz 2026-04-29 16:08
@maxsnew it’s amazing how much Very French Brainrot has emerged from this one (excellent) insight…
-
@ohad@mathstodon.xyz 2026-04-29 17:16
@maxsnew Dima Szamozvancev makes systematic use of this in his thesis. I have also made Good Use of this in >.