hiratara https://blog.hatena.ne.jp/hiratara/ Pixel Pedals of Tomakomai https://hiratara.hatenadiary.jp/ 数学 前回の続き。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が存在します。このjに対して、h^-1 = と定義します。は以下の図のようになります。この図は上の可換性を元の圏の射で表したものであり、これによってh^-1が求める射が満たすべき可換性を満たすことがわかります。後は、このh^-1がis… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20100516%2F1274009676" title="CLTT p45 Exercises 1.3.1 (i) の証明の一部 (2) - Pixel Pedals of Tomakomai" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/41WB3GP0B0L.jpg Hatena Blog https://hatena.blog 2010-05-16 20:34:36 rich https://hiratara.hatenadiary.jp/entry/20100516/1274009676 1.0 100%