3 ms·
Yeah but your comment didn't use the concept of a "category" at all, whereas you used "set" three times. Its definitely more natural to say these definitions co
by eigenket 6y ago
Yeah but your comment didn't use the concept of a "category" at all, whereas you used "set" three times. Its definitely more natural to say these definitions come from set theory.
- Garlef 6y agoTo me, "disjoint union", "direct product" and "set of maps" (as a special case of "internal hom") are the central keywords in what I wrote: Concepts from category theory.
- eigenket 6y agoThose keywords all appeared in the context of set theory long before category theory was thought of. Even ignoring that as a historical accident (we invented set theory before category theory), those ideas are all natural, meaningful and interesting to examine in the context of sets even if one has never heard of a category.
- spekcular 6y agoYes, there's no need to invoke any category theory concepts here. Everything is happening in the category of sets.