このブログの更新は Twitterアカウント @m_hiyama で通知されます。 Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
Cが圏のとき、Cop→Set という関手をC上の前層と呼びます。C上の前層の全体 [Cop, Set] は、関手圏として圏になります(その射は自然変換)。Cが小さいときは、[Cop, Set] はトポスになります。この前層トポスの部分対象分類子〈subobject classifier〉の構成…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。