Here are some pages on 2-categorical stuff that I've found it useful to write down. * [[biprofunctor]] * [[2-extranatural transformation]] * [[2-end]]