圏論

カテゴリー

• 代数系
  • 古典的代数系
  • 関係, 同値関係
  • 順序
  • 写像，演算
  • 代数系
  • 自由系
• 圏と関手

索引