Categorical topological spaces and dimensions

A categorical topological space is a generalized object of an arbitrary Grothendieck site with the structure of its subobjects. The concept of categorical topological space was developed in previous works of author. This paper continuous this theme with an emphasis to applications to dimension theory.