4 ms·
> The objects in category theory are equipped with structure I am sure everything else in the article is correct.
by Koshkin 3y ago
> The objects in category theory are equipped with structure
I am sure everything else in the article is correct.
- JonChesterfield 3y agoThe sentence parses here - the objects have associated introduction and elimination rules which get called 'structure' - what error do you see?
- Koshkin 3y agoIn the abstract setting, morphisms do not "preserve structure" - they are just arrows, and there is no structure to preserve to begin with.