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