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

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

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

参照用 記事

2019-05-15から1日間の記事一覧

前層とフィルター

最近、前層/層〈presheaf/sheaf〉の話をしました。 層に関してちょっと 層に関してちょっと 2: 層化 前層というのは、Open(X)→C という関手です。位相空間Xの開集合の圏Open(X)は、要は順序集合です。順序集合からのC値関手ということなら、いくらでも例が…