Categorical foundations: special topics in order , topology, algebra and sheaf theory - Pedicchio, MC (cambridge, 2004)