Comment by Koshkin

2 years ago

> The objects in category theory are equipped with structure

I am sure everything else in the article is correct.

2 comments

Koshkin

Reply
JonChesterfield  2 years ago

The sentence parses here - the objects have associated introduction and elimination rules which get called 'structure' - what error do you see?

  • Koshkin  2 years ago

    In the abstract setting, morphisms do not "preserve structure" - they are just arrows, and there is no structure to preserve to begin with.