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