Handbook of Categorical Algebra: Topological categories