| 一般 | 線形代数 | モノイド | 圏 |
|---|---|---|---|
| 左域 C | Set | Set | Graph |
| 右域 D | Vect | Mon | Cat |
| 左関手 F | FreeVect | FreeMon | FreeCat |
| 右関手 U | ForgetVect | ForgetMon | ForgetCat |
| 単位 η | linEmbed | monEmbed | catEmbed |
| 余単位 ε | linCalc | monCalc | catCalc |
| モナド M | LinComb | MonComb | CatComb |
| 乗法 μ | linFlatten | monFlatten | catFlatten |
vect = lin なので：
- linEmbed = vectEmbed
- linCalc = vectCalc
- LinComb = VectComb
- linFlatten = vectFlatten
