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

Abstract

A covariant representation of pointfree (localic) maps as approximate maps based on Kleisli category associated with the filter monad.

Keywords

• Kleisli category
• approximation
• locally maps