数学 › 圏論・ホモロジー代数 › 圏・関手・自然変換
宇宙の公理
任意の集合 に対し、 となる宇宙 が存在する。
閉包の状態
公理
公理は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 2 件
- 関手圏は圏であり、大きさが保たれる✓命題 5.4・圏・関手・自然変換
- 分数の圏による局所化✓定理 2.3・導来圏と全導来関手
数学 › 圏論・ホモロジー代数 › 圏・関手・自然変換
任意の集合 に対し、 となる宇宙 が存在する。
公理
公理は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。