圏論に関する事項

圏論に関する事項

＜＜現在工事中＞＞

基礎

• 圏
• 対象
• 射
• 関手
• 自然変換
• 同型
• モノ射
• エピ射

概念

米田の補題

• 表現可能関手

圏の構成

• 非交和
• 積

射のクラス

• モノ射
• エピ射

サイズに関する概念

• ZFC公理系
• NBG公理系
• 集合
• クラス
• 強到達不能基数
• Grothendieck宇宙