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

ご連絡は上記 X アカウントに DM にてお願いします。

参照用 記事

2022-01-05から1日間の記事一覧

モナド: 随伴系の圏の上のインデックス付き圏として

2022年あけましておめでとうございます。2022年最初のブログ記事は、10年前の話を蒸し返すかも知れない。今年中は無理だけど。 https://t.co/9GvXWUJv5a— 檜山, キマイラの爺さん (@m_hiyama) 2021年12月31日 というわけで、圏に対してその上のモナドの圏を…