Comment by 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?
2 years ago
The sentence parses here - the objects have associated introduction and elimination rules which get called 'structure' - what error do you see?
In the abstract setting, morphisms do not "preserve structure" - they are just arrows, and there is no structure to preserve to begin with.