1 paper
Robin Cockett, Richard Garner
Restriction categories were introduced to provide an axiomatic setting for the study of partially defined mappings; they are categories equipped with an operation called restrictio…