Text this: Categorical Structure of Closure Operators :