【この記事は アドヴェントカレンダー Math https://adventar.org/calendars/5029 の6日目の記事です】今回は、以前書いた『 淡中再構成(モノイド作用)』を一般化して、モナドとその加群*1についての淡中再構成を証明します。 前提知識は以前と同様に圏論の…