alguém que é bom em teoria das categorias pode me dizer algum jargão legal que eu possa usar para descrever este padrão EnvGroup onde um grupo de envs também é um env? tipo, isso é um "functor" ou um "monad" ou alguma coisa assim. o diagrama comuta?