hitotakuchan https://blog.hatena.ne.jp/hitotakuchan/ 俺の Colimit を越えてゆけ https://www.orecoli.com/ 数学 数学-圏論 Steve Awodey の Category Theory を読む シリーズトップ 9.1 Preliminary definition Example 9.3 9.2 Hom-set definition 9.4 Order adjoints Example 9.12 9.5 Quantifiers as adjoints 9.6 RAPL Proposition 9.16 9.7 Locally cartesian closed categories Proposition 9.20 Lemma 9.23 9.8 Adjoint functor theorem Theorem 9.29 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.orecoli.com%2Fentry%2F2016%2F09%2F01%2F071146" title="Steve Awodey の Category Theory を読む : Chapter 9 - 俺の Colimit を越えてゆけ" 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/41pAXg0Mh8L.jpg Hatena Blog https://hatena.blog 2016-09-01 07:11:46 rich https://www.orecoli.com/entry/2016/09/01/071146 1.0 100%