4 ms·
The sentence parses here - the objects have associated introduction and elimination rules which get called 'structure' - what error do you see?
by JonChesterfield 3y ago
The 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.