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