Může mi někdo, kdo je dobrý v teorii kategorií, říct nějaký skvělý žargon, který bych mohl použít k popisu tohoto vzoru EnvGroup, kde skupina envs je také env? Jako je to "funkctor" nebo "monada" nebo nějaká sračka. Dojíždí diagram?