有沒有人擅長範疇論,可以告訴我一些酷炫的術語,用來描述這個 EnvGroup 模式,其中一組環境也是一個環境? 比如說這是一個“函子”還是“單子”之類的。這個圖是可交換的嗎?
28.52K