sora410 https://blog.hatena.ne.jp/sora410/ 而して https://nog.hatenadiary.jp/ Reference. Awodey, S. (2010) Category Theory, Oxford: Oxford University Press, 2nd ed. 2011. 概要 集合 から生成する最小の同値関係を とかく. のcoequalizerが, とするとき であることを示せ. を包む最小の同値関係 問にはさらに, この をと定めよ, とある. これは確かに, を包む 上の同値関係であって, かつそのなかで最小の集合である. このことを示しておく.同値関係であること. 反射律. 任意に をとる. いま任意に, を包む 上の同値関係 をとると, の反射律から となるから . … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnog.hatenadiary.jp%2Fentry%2F2023%2F01%2F13%2F002811" title="Setsのcoequalizer (Awodey, 3.5.11) - 而して" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2023-01-13 00:28:11 rich https://nog.hatenadiary.jp/entry/2023/01/13/002811 1.0 100%