kan någon som är bra på kategoriteori berätta för mig lite cool jargong som jag kan använda för att beskriva detta EnvGroup-mönster där en grupp av envs också är en env? Som om det här är en "funktor" eller en "monad" eller nåt sånt skit. Pendlar diagrammet?