Cartesian Bicategories I (1987)

by A Carboni, R Walters
Venue:Journal of Pure and Applied Algebra