Continuous [0,1]-lattices and injective [0,1]-approach spaces

MaRDI QIDQ6359899zbMATH OpenFDO

Authors Junche Yu, Dexue Zhang

Publication date 4 February 2021

Mathematics Subject Classification ID

Enriched categories (over closed or monoidal categories) (18D20) Categories of topological spaces and continuous mappings (18F60) Topological spaces and generalizations (closure spaces, etc.) (54A05) Fuzzy topology (54A40) Categorical methods in general topology (54B30)

Abstract: In 1972, Dana Scott proved a fundamental result on the connection between order and topology which says that injective $T_0$ spaces are precisely continuous lattices endowed with Scott topology. This paper investigates whether this is true in an enriched context, where the enrichment is the quantale obtained by equipping the interval $[0,1]$ with a continuous t-norm. It is shown that for each continuous t-norm, the specialization $[0,1]$-order of a separated and injective $[0,1]$-approach space $X$ is a continuous $[0,1]$-lattice and the $[0,1]$-approach structure of $X$ coincides with the Scott $[0,1]$-approach structure of its specialization $[0,1]$-order; but, unlike in the classical situation, the converse fails in general.

This page was built for publication: Continuous [0,1]-lattices and injective [0,1]-approach spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6359899)