概要 関手と自然変換があたえられたとき、適当に定義すればその射はまた自然変換となる。 をそれぞれ次のような関手とする。 を自然変換とする。 このとき、2通りの新しい自然変換を構成することができる。 (1) は関手である。これらの間にできる新しい射 を…

概要 モノイド圏やモノイド対象、そしてそれらの具体例であるモノイドとモナドについてまとめる。モノイド対象はモノイド圏において定義される。集合の圏 はモノイド圏であり、そのモノイド対象はモノイドである。つまりモノイド対象はモノイドの一般化であ…