ﻻ يوجد ملخص باللغة العربية
The Vietoris monad on the category of compact Hausdorff spaces is a topological analogue of the power-set monad on the category of sets. Exploiting Manes characterisation of the compact Hausdorff spaces as algebras for the ultrafilter monad on sets, we give precise form to the above analogy by exhibiting the Vietoris monad as induced by a weak distributive law, in the sense of Bohm, of the power-set monad over the ultrafilter monad.
Motivated by recent work on weak distributive laws and their applications to coalgebraic semantics, we investigate the algebraic nature of semialgebras for a monad. These are algebras for the underlying functor of the monad subject to the associativi
We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the construction of a colimit induced by a map of 2-monads, show that we obtain the s
An adjunction is a pair of functors related by a pair of natural transformations, and relating a pair of categories. It displays how a structure, or a concept, projects from each category to the other, and back. Adjunctions are the common denominator
We establish a topological duality for bounded lattices. The two main features of our duality are that it generalizes Stone duality for bounded distributive lattices, and that the morphisms on either side are not the standard ones. A positive consequ
In this article a sequential theory in the category of spaces and proper maps is described and developed. As a natural extension a sequential theory for exterior spaces and maps is obtained.