czy ktoś, kto zna się na teorii kategorii, może mi powiedzieć jakieś fajne żargonowe określenia, których mogę użyć, aby opisać ten wzór EnvGroup, w którym grupa envs jest również env? czy to jest "funktor" czy "monada" czy coś w tym stylu? czy diagram się przemieszcza?