圏と表現論
SGCライブラリ - 155
圏と表現論
2-圏論的被覆理論を中心に
浅芝秀人 著
2019年12月25日 初版発行
圏
- モノイド
- データー:
- 空でない集合
- 写像 ,
- の元
- 公理:
- データー:
- 群
- データー:
- モノイド
- 写像
- 公理:
- データー:
- クイバー
- 集合
- 写像
- データー:
- 集合
- 集合族
- 公理:
- 圏
- データー:
- クイバー
- 写像の族
- の元の族
- 公理:
- (結合律)
- (単位律)
- データー:
- モノイド準同型
- 公理:
- 公理:
- クイバー射
- データー:
- 写像
- 写像
- 公理:
- で ならば、 で
- データー:
- 関手
- 公理:
- 公理:
- 多元環
- 公理:
- はベクトル空間である
- は双線形である
- 公理:
- 線形圏
- 公理
- はベクトル空間である
- は双線形である
- 公理