Finn Lawler empty 1 (Rev #2, changes)

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

We want to define the tricategory? BiProfBiProf 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 BiProfBiProf here.

Revision on January 13, 2014 at 11:32:26 by Finn Lawler?. See the history of this page for a list of all contributions to it.