19 Oct
2014
19 Oct
'14
9:28 p.m.
Dear Vladimir,
1. Given a non-unital monad can it have two different "unitality" structures?
No. Write T for the endofunctor, m for the multiplication, and e and e' for the two units. Then e = m(e'T)e = m(Te)e' = e', the first and third equalities by the monad axioms, and the second by naturality of e'. Best wishes, Tom [For admin and other information see: http://www.mta.ca/~cat-dist/ ]