Page 1

Displaying 1 – 6 of 6

Showing per page

Approximate maps, filter monad, and a representation of localic maps

Bernhard Banaschewski, Aleš Pultr (2010)

Archivum Mathematicum

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.

Currently displaying 1 – 6 of 6

Page 1