Then, (Set , e, V) forms a monoidal category MacT1], where the “substitution” monoidal product is defined as follows. For presheaves A and B, ...
確定! 回上一頁