@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 😉