Categorical closure operators - Castellini, Gabriele (Mathematics : theory and applications, 2003)