Post #3066762
2026-05-21 19:13 UTC
@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 😉
Replies (1)
-
@mc@mathstodon.xyz 2026-05-22 07:13
@jaklt@mastodon.social lol yeah I was familiar with the construction but not the minion name haha though I'm now back to thinking your initial data should be a category