dapatkah seseorang yang pandai dalam teori kategori memberi tahu saya beberapa jargon keren yang dapat saya gunakan untuk menggambarkan pola EnvGroup ini di mana sekelompok env juga merupakan env? seperti ini "functor" atau "monad" atau semacamnya. Apakah diagram bepergian?