Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics