Finn Lawler
2-categorical miscellany