The extensive completion of a distributive category (0)

by J R B Cockett, S Lack
Venue:Theory Appl. of Categ