有没有人擅长范畴论,可以告诉我一些酷炫的术语,用来描述这个 EnvGroup 模式,其中一组环境也是一个环境? 比如说这是一个“函子”还是一个“单子”之类的。这个图是可交换的吗?
28.52K