Monoidal categories. Definition 2.1. A monoidal category consists of the following data: • An underlying category C. • A functor C × C → C, which write in ...
確定! 回上一頁