数学 › 圏論・ホモロジー代数 › 導来圏と全導来関手

錐の取り替え

補題 8.4（「導来圏と全導来関手」§8） ・ ✓公理まで証明済み

  1. T=(X,Y,Z,u,v,w)T = (X, Y, Z, u, v, w)、Tˉ=(Xˉ,Y,Zˉ,uσ,vˉ,wˉ)\bar T = (\bar X, Y, \bar Z, u\sigma, \bar v, \bar w) を完全三角形、σ:Xˉ→X\sigma : \bar X \to X を SS の射とする。(σ,idY,c):Tˉ→T(\sigma, \mathrm{id}_Y, c) : \bar T \to T が三角形の射になる c∈Sc \in S がある。
  2. T=(X,Y,Z,u,v,w)T = (X, Y, Z, u, v, w)、T′=(X,Y′,Z′,τu,v′,w′)T' = (X, Y', Z', \tau u, v', w') を完全三角形、τ:Y→Y′\tau : Y \to Y' を SS の射とする。(idX,τ,c):T→T′(\mathrm{id}_X, \tau, c) : T \to T' が三角形の射になる c∈Sc \in S がある。

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

閉包の状態

✓ 公理まで証明済み

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

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

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

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

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