In Rel, both products and coproducts amount to taking a disjoint union of sets. Is there a category whose object class can be interpreted as the class of all sets, in which both products and coproducts amount to taking Cartesian products, in the classical sense?
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