2020-12-01から1ヶ月間の記事一覧
はじめに これまで、圏は対象の集まりと射の集まりからなり、その例として Scala 圏 (対象は型 A、射は関数 A => B)、集合圏 (対象は集合 $A$、射は関数 $f: A \to B$)、Writer 圏 (対象は型 A、A から B への射は関数 A => Writer[L, B]) などがあると説明…
はじめに 本記事では、圏に関するいくつかの普遍的な構造について学んでいきます。 普遍的な構造として、順序集合における最小値に対応する始対象、最大値に対応する終対象、始対象と終対象との関連性である双対性、直積集合に対応する積、そして積と対をな…
Writer 圏、Writer 関手についての補足事項