随伴(2) 積関手と冪関手 自由マグマと自由モノイドの関係を使って、随伴(の一部)を説明することができると思ったのですが、まだできていないし、随伴の全体を説明することは難しいと思われるので、また「圏論の道案内 ～矢印でえがく数学の世界～」の「第8章…