みなし

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