We normally present the theory of categories in SET, that is, we define a category as a set of objects and a set of morphisms. If we do not present categories in SET, how do we present the abstract structure of a monoidal category?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top