12 Apr
2010
12 Apr
'10
12:39 a.m.
Hello, I'm wondering what the correct terminology is for the extra functions that we define with monads. For instance, State has get and put, Reader has ask and local, etc. Is there a good name for these? I've been calling them the "non-proper morphisms" (as opposed to the "proper" morphisms unit/return and bind). But I don't know if others call them that. Is there any accepted phrase for them? Thanks, ~Mark Snyder