APPROXIMATE MAPS, FILTER MONAD, AND A REPRESENTATION OF LOCALIC MAPS
被引:0
|
作者:
Banaschewski, Bernhard
论文数: 0引用数: 0
h-index: 0
机构:
McMaster Univ, Dept Math & Stat, 1280 Main St W, Hamilton, ON L8S 4K1, CanadaMcMaster Univ, Dept Math & Stat, 1280 Main St W, Hamilton, ON L8S 4K1, Canada
Banaschewski, Bernhard
[1
]
Pultr, Ales
论文数: 0引用数: 0
h-index: 0
机构:
Charles Univ Prague, Dept Appl Math & ITI, MFF, CZ-11800 Prague 1, Czech RepublicMcMaster Univ, Dept Math & Stat, 1280 Main St W, Hamilton, ON L8S 4K1, Canada
Pultr, Ales
[2
]
机构:
[1] McMaster Univ, Dept Math & Stat, 1280 Main St W, Hamilton, ON L8S 4K1, Canada
[2] Charles Univ Prague, Dept Appl Math & ITI, MFF, CZ-11800 Prague 1, Czech Republic
A covariant representation of the category of locales by approximate maps (mimicking a natural representation of continuous maps between spaces in which one approximates points by small open sets) is constructed. It is shown that it can be given a Kleisli shape, as a part of a more general Kleisli representation of meet preserving maps. Also, we present the spectrum adjunction in this approximation setting.
机构:
Kobe Univ, Grad Sch Human Dev & Environm, Dept Math & Informat, Kobe, Hyogo 6578501, JapanKobe Univ, Grad Sch Human Dev & Environm, Dept Math & Informat, Kobe, Hyogo 6578501, Japan