derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category Steve Awodey先生の本を読み進めると、Example 10. でlogicからのcategoryの例としてcategory of proofが挙げられている。個人的に「証明論」は魔界なのだが...。数学の証明というものを考察してみよう！という軽い気持ちで足を踏み入れると途端に魔界に引きずり込まれるようなそんな...ということで、久しぶりに専門家の竹内先生(集合論の神様と称されているのも見たが...)の本Amazon.co.jp： 復刊 証明論入門: 竹内 外史, 八杉 満利子: 本を開いてみる。が、categoryの話は載っていないようだ。ほっとしたようなほっとしたような。 同じく竹… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F01%2F12%2F023425" title="圏論(3) - らんだむな記憶" 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 2016-01-12 02:34:25 rich https://randommemory.hatenablog.com/entry/2016/01/12/023425 1.0 100%