A note on algebraic categories
A unified framework for generalized multicategories.
Absolutely closed spaces and categories of algebras
Algebraic categories whose projectives are explicitly free.
Algèbres graphiques (suites : Les bidules)
Approximate maps, filter monad, and a representation of localic maps
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.