Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661134 | Topology and its Applications | 2006 | 23 Pages |
Abstract
Motivated by the observation that both pretopologies and preapproach limits can be characterized as those convergence relations which have a unit for a suitable composition, we introduce the category Algu(T;V) of reflexive and unitary lax algebras, for a symmetric monoidal closed lattice V and a Set-monad T=(T,e,m). For T=U the ultrafilter monad, we characterize exponentiable morphisms in Algu(U;V). Further, we give a sufficient condition for an object to be exponentiable in the category Alg(U;V) of reflexive and transitive lax algebras. This specializes to known and new results for pretopological, preapproach and approach spaces.
Related Topics
Physical Sciences and Engineering
Mathematics
Geometry and Topology