集合→離散圏 集合→余離散圏 モノイド→単一対象圏 モノイド→離散モノイド圏 圏→2セルが自明な2-圏 モノイド圏→単一対象の双圏 集合→縦離散・横余離散な双圏 n-圏→m-圏（n＞m）切り落とし、m-骨格 グラフ→自由圏 n-複体→自由n-圏（難しい） モノイド→ラックス…

誰だったか（ベナボウ、ケリー、アイスベルあたり）が、豊饒圏論はラックス関手理論のごく特殊な例だ、と言ったという話だが、だいたいの事情はわかった。その前に言葉づかいだが、 モノイド圏 双圏 （強）モノイド関手 擬関手 ラックス・モノイド関手 ラッ…