Přibližná zobrazení, filtrová monáda a reprezentace lokalických zobrazení

Abstrakt

Kovariantní representace bezbodových (lokalických) zobrazení jako přibližných zobrazení založená na Kleisliho kategorii příslušné k filtrové monádě.

Klíčová slova

• Kleisliho kategorie
• aproximace
• lokalická zobrazení