Restriction categories iii: colimits, partial limits and extensivity (0)

by J R B Cockett, S Lack
Venue:Mathematical Structures in Computer Science