Categorical Structure of Closure Operators by W. Tholen & Dikran N. Dikranjan