Categorical Structure of Closure Operators: With Applications To Topology, Algebra And Discrete Mathematics