Cartesian Bicategories With Choice