Category Theory as Coherently Constructive Lattice Theory (1998)

by Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude