Title
One Setting for All: Metric, Topology, Uniformity, Approach Structure
Abstract
For a complete lattice V which, as a category, is monoidal closed, and for a suitable Set- monad T we consider (T,V)-algebras and introduce (T,V)-proalgebras, in generalization of Lawvere's presentation of metric spaces and Barr's presentation of topological spaces. In this lax-algebraic setting, uniform spaces appear as proalgebras. Since the corresponding categories behave functorially both in T and in V, one establishes a network of functors at the general level which describe the basic connections between the structures mentioned by the title. Categories of (T,V)-algebras and of (T,V)-proalgebras turn out to be topological over Set. Mathematics Subject Classification: 18C20, 18B30, 54E15.
Year
DOI
Venue
2004
10.1023/B:APCS.0000018144.87456.10
Applied Categorical Structures
Keywords
Field
DocType
V,-matrix,V,-promatrix,(,T,V,)-algebra,(,T,V,)-proalgebra,co-Kleisli composition,ordered set,metric space,topological space,uniform space,approach space,prometric space,protopological space,proapproach space,topological category
Uniform space,Discrete mathematics,Topology,Ordered set,Topological space,Approach space,Topological category,Functor,Complete lattice,Metric space,Mathematics
Journal
Volume
Issue
ISSN
12
2
1572-9095
Citations 
PageRank 
References 
19
7.10
2
Authors
3
Name
Order
Citations
PageRank
Maria Manuel Clementino16125.61
Dirk Hofmann27325.09
Walter Tholen37739.38