kan noen som er god på kategoriteori fortelle meg noe kult sjargong jeg kan bruke for å beskrive dette EnvGroup-mønsteret der en gruppe envs også er en env? Som om dette er en "functor" eller en "monade" eller noe dritt. Pendler diagrammet?
21,87K