kan iemand die goed is in categorietheorie me wat coole jargon geven die ik kan gebruiken om dit EnvGroup-patroon te beschrijven waarbij een groep omgevingen ook een omgeving is? is dit zoals een "functor" of een "monade" of zoiets? commutereert het diagram?