der Woude, J.: Category theory as coherently constructive lattice theory (1994)

by R Backhouse, M Bijsterveld, R van Geldrop, van