poate cineva care este bun la teoria categoriilor să-mi spună un jargon interesant pe care îl pot folosi pentru a descrie acest model EnvGroup în care un grup de env este și un env? ca și cum ar fi un "functor" sau o "monadă" sau ceva de rahat. Diagrama face naveta?