2. Abstract structures ぱらぱらめくる『Category Theory』by Steve Awodey
- Arrowsの属性
- 前後の矢印のつらなりの中で一意性を確保するためには、「一意であることを要求」するか「一意であるように作り出すか」の2通りの参加の仕方がある。その2通りに名前をつけたもの
- Mnomorphism
- Epimorphism
- Objectsの属性
- Initial
- Terminal
- Categoryの属性
- Generalized elements
- Products
- 2つのObjectsから生じるもの
- WikiのAbstract structure