¿Puede alguien que sea bueno en teoría de categorías decirme alguna jerga interesante que pueda usar para describir este patrón EnvGroup donde un grupo de entornos también es un entorno? ¿Es esto un "functor" o un "monada" o algo así? ¿El diagrama conmute?