topic:圏論の「見立て」殺人事件

done.icon ひとまず解決済み

summary.icon

圏論では様々な「AはBとみなせる、同一視できる」が出てくる

丁寧に分別しておきたい

1. 圏の要素と単位圏から圏への射 (大域要素)

$ C と$ 1→C

$ c\colon C と$ c^♯\colon 1 → C \colon \mathrm{Cat}

$ F\colon C→D と$ \lang F \rang \colon D^C

参照であることを$ \lang \_ \rang で明示

dragoon8192.icon 引き戻し関係とかになってない？

3. 1.2.をあわせて

$ C と$ C^1 の同型

$ ♯ \colon C → C^1

$ c \mapsto \left\lang c^♯ \right\rang