数学 › 圏論・ホモロジー代数 › 極限と余極限

mono と核対

命題 7.1（「極限と余極限」§7）・ ✓公理まで証明済み

射 $f : X \to Y$ について次は同値である。

$f$ は mono である。
四角形 $f \circ \mathrm{id}_X = f \circ \mathrm{id}_X$ が引き戻しである（すなわち $(X, \mathrm{id}_X, \mathrm{id}_X)$ が $f$ の核対である）。
$f$ の核対 $(X \times_Y X, p_1, p_2)$ が存在し、 $p_1 = p_2$ である。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 10 件、定義なども含めて 12 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

前提をたどる証明が使う定理・定義（直接 1 件）

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

極限の一意性と関手性✓命題 2.3・極限と余極限
- 表現対象の一意性✓系 4.3・米田の補題と表現可能関手
- パラメータ付きの表現可能性✓命題 5.1・米田の補題と表現可能関手
  - 選択公理公理 3.1・選択公理と Zorn の補題
  - 双関手の判定✓補題 4.3・圏・関手・自然変換
  - 表現と普遍元✓命題 4.2・米田の補題と表現可能関手
    自然同型は成分ごとの同型✓命題 5.2・圏・関手・自然変換
    米田の補題✓定理 3.1・米田の補題と表現可能関手
  - 米田の補題✓定理 3.1・米田の補題と表現可能関手
  - 米田の原理✓系 3.4・米田の補題と表現可能関手
    米田埋め込み✓系 3.3・米田の補題と表現可能関手この先をたどる →
    充満忠実な関手は同型を反映する✓補題 4.6・圏・関手・自然変換

これを使っている定理証明で参照している 1 件

右随伴は極限を保つ✓定理 3.1・随伴関手と随伴関手定理

関連するノック 1 問

圏論・ホモロジー代数第 17 問