General Information
A small collection of Definitions and examples we encountered during our reading group. It is neither complete nor especially proofread, but hopefully provides some overview of what we discuss and if there are holes we want to close :)
Most Important Definitions
A category is a:
- Collection of objects: , , etc.
- A collections of morphisms: , , …
- for every objects there exists an identity morphism
- Morphisms may compose if domain and codomain match.