Topological geometrical categories

The topological geometrical categories form a special class of topological categories over image and a special class of concrete geometrical categories. They are described in an abstract way with their morphisms forming a complete regular legitimate category image. They are proved to be precisely the categories of affine sets over a fixed algebra for a many-sorted infinitary algebraic theory.