一般 | 線形代数 | モノイド | 圏 |
---|---|---|---|
左域 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