Finn Lawler empty 4 (Rev #3, changes)

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

I want to define a notion of cartesian equipment, the idea being that a bicategory MM should be a cartesian bicategory if and only if the proarrow equipment MapMMMap M \to M is a cartesian equipment.

Outline

  • See equipment? first.

With the correct notion of equipment, there are two possible notions of adjoint morphisms, and hence limits: those of Carboni–Kelly–Verity–Wood, and those of Grandis–Paré (for double categories).

Question: Do these notions coincide?

Then a cartesian equipment will be an equipment that ‘has finite products’, that is an equipment MM for which the diagonals MM 2M \to M^2 and M1M \to 1 have right pseudoadjoints.

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