A 2-categorical approach to geometric morphisms (1991)

by A Carboni, G M Kelly, R J Wood