Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
What is the motivation for the terminology ?
For strongly affine monads, I don’t know. For weakly affine monads, the idea is that a lot of the equations that hold in the affine case hold weakly, namely up to an action of the group T1 (where 1 is the monoidal unit).
Probably Zoran’s question was why preservation (in whichever sense) of a unit is referred to as “affine”.
Oh. If so, I wonder that too :)
5 Yes.
1 to 7 of 7