範疇性定理への第二歩目です．ここでは実現するタイプの少ない理論を考えます． まずは均質性を導入し，素モデルが同型を除いて一意に決まることを示します． 続いて今後重要となる －安定性を導入します．この －安定性をもつ理論というのが簡単にいってし…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
id:hisyamaru
