Kann mir jemand, der gut in Kategorientheorie ist, ein paar coole Fachbegriffe nennen, die ich verwenden kann, um dieses EnvGroup-Muster zu beschreiben, bei dem eine Gruppe von Umgebungen auch eine Umgebung ist? Ist das ein "Functor" oder ein "Monad" oder so etwas? Kommt das Diagramm zusammen?