Finn Lawler empty 1 (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

We want to define the tricategory? $BiProf$ of bicategories and profunctors; we need to know what the following things are:

1. 2-extranatural transformation
2. 2-end
3. free 2-cocompletion

and then we define $BiProf$ here.