20 Sep
2007
20 Sep
'07
9:20 p.m.
On Thu, Sep 20, 2007 at 07:03:07AM +1000, Stephen Lack wrote:
These are often called normal lax functors (or normal morphisms of bicategories).
I suggested "normalized", but "normal" is clearly better: you normalize something to make it normal. On a wholly different note - I hope people take a look at the new videos by the Catsters. They're using YouTube in an interesting new way: to explain monads, adjunctions and the like. For more info: http://golem.ph.utexas.edu/category/2007/09/the_catsters_latest_hit_adjunc.h... Best, jb