Verallgemeinerte topogene Ordnungen (Q1058750)

Topogenous orders in the sense of Császár are a common generalization of proximity and topology. Čech closures are a generalization of the topological closure operators in the sense of Kuratowski. We show that the topogenous orders as well as the Čech closures are special cases of the so-called compressed operators. Moreover the now defined category \underbar{COM} of compressed spaces and compressed faithful maps is a properly fibred topological category in the sense of Herrlich which is weakly Cartesian closed, which means the product map of two quotient maps in \underbar{COM} is a quotient map in \underbar{COM}. Therefore, following results of L. D. Nel, it is possible to construct a Cartesian closed properly fibred topological category in which \underbar{COM} can be nicely embedded. It turns out that the compressed operators stand in a natural connexion with the uniform convergence structures in the sense of Cook and Fischer and, furthermore, with the limit structures in the sense of Fischer. For principal ideal uniform convergence structures we prove that they are precompact and complete if the properly constructed compressed operator is compact.