eta is unit:
eta because it's
greek (which is why the vim digraph for
unit, since when you flip it, you get , which is -ltiplication (multiplication). Hence is the unit for the multiplication to form a monoidal structure for the monad.