Cartesian bicategories I (1987)

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