It seems any such monoidal category C must be equivalent to the terminal category. Let I be the monoidal unit. First I claim there is exactly one morphism ...
確定! 回上一頁