http://ncatlab.org/nlab/show/lax+functor
http://nlab.mathforge.org/nlab/show/lax+natural+transformation
nLab page on Lax functor