Quasi-uniform Structures and Functors

Minani Iragi ; David Holgate

Theory and applications of categories, Tome 39 (2023), pp. 519-534

Résumé

We study a number of categorical quasi-uniform structures induced by functors. We depart from a category C with a proper (E,M)-factorization system, then define the continuity of a C-morphism with respect to two syntopogenous structures (in particular with respect to two quasi-uniformities) on C and use it to describe the quasi-uniformities induced by pointed and copointed endofunctors of C. In particular, we demonstrate that every quasi-uniformity on a reflective subcategory of C can be lifted to a coarsest quasi-uniformity on C for which every reflection morphism is continuous.

Thinking of categories supplied with quasi-uniformities as large "spaces", we generalize the continuity of C-morphisms (with respect to a quasi-uniformity) to functors. We prove that for an M-fibration or a functor that has a right adjoint, we can obtain a concrete construction of the coarsest quasi-uniformity for which the functor is continuous. The results proved are shown to yield those obtained for categorical closure operators. Various examples considered at the end of the paper illustrate our results.

Détail

Publié le : 2023-05-15

Classification : 18A05, 18F60, 54A15, 54B30
Keywords: Closure operator, Syntopogenous structure, Quasi-uniform structure, (co)pointed endofunctor and Adjoint functor