モノイド圏の一貫性関係

双代数：

• http://d.hatena.ne.jp/m-hiyama/20111010/1318240390 代数、モノイド、マグマ
• http://d.hatena.ne.jp/m-hiyama/20111011/1318313338 双代数と双モノイド

マックレーン五角形：

• http://d.hatena.ne.jp/m-hiyama/20110909/1315542461 マックレーンの五角形の絵
• 五角形の絵 http://www.chimaira.org/img2/pentagon-condition.gif

モノイド圏のモノイド関手：

• http://d.hatena.ne.jp/m-hiyama/20110906/1315279939 緩関手、反緩関手、強関手、厳密関手とか、おぼえられねー

半環圏の分配法則の一貫性

• http://d.hatena.ne.jp/m-hiyama/20101229/1293604209 デカルト半環圏の定義を確認してみる（デカルト半環作用圏のために）

直積・直和に関する注意

• http://d.hatena.ne.jp/m-hiyama/20081107/1226024690 直積の単位が終対象とは限らない