Displaying 301 – 320 of 327

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.

Archimedean frames, revisited

Jorge Martinez (2008)

Commentationes Mathematicae Universitatis Carolinae

This paper extends the notion of an archimedean frame to frames which are not necessarily algebraic. The new notion is called joinfitness and is Choice-free. Assuming the Axiom of Choice and for compact normal algebraic frames, the new and the old coincide. There is a subfunctor from the category of compact normal frames with skeletal maps with joinfit values, which is almost a coreflection. Conditions making it so are briefly discussed. The concept of an infinitesimal element arises naturally,...

Automata and categories

Symeon Bozapalides, Anestis Firarides (1982)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Currently displaying 301 – 320 of 327