¿Puede alguien que sea bueno en la teoría de categorías decirme alguna jerga genial que pueda usar para describir este patrón de EnvGroup donde un grupo de envs también es un env? como si esto fuera un "funtor" o una "mónada" o algo así. ¿El diagrama conmuta?