Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics