m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 Cが圏のとき、Cop→Set という関手をC上の前層と呼びます。C上の前層の全体 [Cop, Set] は、関手圏として圏になります（その射は自然変換）。Cが小さいときは、[Cop, Set] はトポスになります。この前層トポスの部分対象分類子〈subobject classifier〉の構成がめんどくさいですね。どうやって作るか忘れちゃうんでメモしておきます。具体例を出さないと退屈しちゃう構成法だけど、例を入れると長くなるのでとりあえず作り方のみ。その代り、作り方は丁寧に追いかけます。ちょっともたついている（未整理で冗長な）ところがありますが、省略はしないで書いています。内容： 小さい圏のふ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20180830%2F1535593657" title="前層トポスの部分対象分類子 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%5Ccirc Hatena Blog https://hatena.blog 2018-08-30 10:47:37 rich https://m-hiyama.hatenablog.com/entry/20180830/1535593657 1.0 100%