このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2018-08-30から1日間の記事一覧

前層トポスの部分対象分類子

Cが圏のとき、Cop→Set という関手をC上の前層と呼びます。C上の前層の全体 [Cop, Set] は、関手圏として圏になります(その射は自然変換)。Cが小さいときは、[Cop, Set] はトポスになります。この前層トポスの部分対象分類子〈subobject classifier〉の構成…