Cartesian bicategories (1987)

by A Carboni, R F C Walters
Venue:I, J. Pure Appl. Algebra