est-ce que quelqu'un qui maîtrise la théorie des catégories peut me donner du jargon sympa que je peux utiliser pour décrire ce modèle EnvGroup où un groupe d'envs est aussi un env ? est-ce que c'est un "foncteur" ou un "monade" ou un truc du genre ? est-ce que le diagramme commute ?