A topological theory of (T,V)-categories

Loading...
Thumbnail Image

Date

Authors

Sozubek, Serdar

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Lawvere's notion of completeness for quantale-enriched categories has been extended to the theory of lax algebras under the name of L-completeness. In this work we introduce the corresponding morphism concept and examine its properties. We explore some important relativized topological concepts like separation, density, compactness and compactification with respect to L-complete morphisms. We show that separated L-complete morphisms belong to a factorization system. Moreover, we investigate relativized topological concepts with respect to maps that preserve L-closure which is the natural symmetrized closure for lax algebras. We provide concrete characterizations of Zariski closure and Zariski compactness for approach spaces.

Description

Keywords

Citation