Voiko joku, joka on hyvä kategoriateoriassa, kertoa minulle hienoa jargonia, jota voin käyttää kuvaamaan tätä EnvGroup-mallia, jossa ryhmä ev:itä on myös env? kuten onko tämä "functor" tai "monad" tai jotain paskaa. Liikkuuko kaavio?