前回の続き。only if を示します。 Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) まず、(u,f)がカルテシアンなので、(u,π'):(I,Y)→(J,Y)とIに関して、以下を可換にするようなj:I×Y→Xが存在します…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。