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

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

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

2018-03-22から1日間の記事一覧

圏論の極限を具体的に

小さい圏Cから集合圏Setへの関手 F:C→Set に限定して、その極限を具体的に扱います。具体的とは、極限を、(無限かも知れない)直積と条件絞り込みで実際に構成することを意味します。具体的構成の方針(精神)は、「錐〈すい〉集合関手の表現対象を作りまし…