A V-monoidal category ~ is a V-category A together with. Page 3. a M-functor @: A@A + A, an object Y • A, and V-natural isomorphisms a: (A@B)@C a A@(B@C), ~: A@ ...
確定! 回上一頁