Finn Lawler empty 1 (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.

Last revised on January 13, 2014 at 11:32:26. See the history of this page for a list of all contributions to it.