APPROXIMATE MAPS, FILTER MONAD, AND A REPRESENTATION OF LOCALIC MAPS

被引:0
|
作者
Banaschewski, Bernhard [1 ]
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
来源
ARCHIVUM MATHEMATICUM | 2010年 / 46卷 / 04期
关键词
frames (locales); localic maps; approximation; Kleisli representation;
D O I
暂无
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页码:285 / 298
页数:14
相关论文
共 50 条