Post #2777172
2026-05-21 15:44 UTC
RE: https://mathstodon.xyz/@mc/116613310898838315
ok actually you can get away with this
Replies (1)
-
@jaklt@mastodon.social 2026-05-21 19:13
@mc@mathstodon.xyz Your "presheaf of operations" is usually called a "minion of polymorphisms" and, in fact, it is constructed by a simple right Kan extension, see https://arxiv.org/abs/2503.10353 😉