Restriction categories III: colimits, partial limits, and extensivity (2007)

by Robin Cockett, Stephen Lack
Venue:Mathematical Structures in Computer Science