The Axiom of Choice in Cartesian Bicategories.

Filippo Bonchi, Jens Seeber, Pawel Sobocinski

Browse the full CALCO paper archive.