Categorical closure operators were introduced by Dikranjan and Giuli in [DG87] and then developed by these authors and Tholen in [DGT89]. These operators have played an important role in the development of Categorical ...