Categorical foundations : special topics in order, topology, algebra, and Sheaf theory / - Pedicchio, M. C.; Tholen, W. (Cambridge University Press,, 2004)