One Setting for All: Metric, Topology, Uniformity, Approach Structure

Applied Categorical Structures

Volumn 12, Issue 2, 2004, Pages 127-154

  Clementino, Maria Manuel ^a   Hofmann, Dirk ^b   Tholen, Walter ^c  

^a UNIVERSITY OF COIMBRA   (Portugal)

^b UNIVERSITY OF AVEIRO   (Portugal)

^c YORK UNIVERSITY   (Canada)

Author keywords

(T, V) algebra; (T, V) proalgebra; Approach space; Co Kleisli composition; Metric space; Ordered set; Proapproach space; Prometric space; Protopological space; Topological category; Topological space; Uniform space; V matrix; V promatrix

Indexed keywords

CONVERGENCE OF NUMERICAL METHODS; MATRIX ALGEBRA; SET THEORY; THEOREM PROVING;

(T,V)-ALGEBRA; APPROACH SPACE; CO-KLEISLI COMPOSITION; METRIC SPACE; ORDERED SET; PROMETRIC SPACE; TOPOLOGICAL SPACE; UNIFORM SPACE; V-MATRIX; V-PROMATRIX;

TOPOLOGY;

EID: 1842457752     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:APCS.0000018144.87456.10     Document Type: Article

References (17)

1. Adámek, J., Herrlich, H. and Strecker, G. E.: Abstract and Concrete Categories, Wiley Interscience, New York, 1990.
2. Barr, M.: Relational algebras, in Springer Lecture Notes in Math. 137, 1970, pp. 39-55.
3. Börger, R.: Coproducts and ultrafilters, J. Pure Appl. Algebra 46 (1987), 35-47.
4. Clementino, M. M. and Hofmann, D.: Topological features of lax algebras, Appl. Categ. Structures 11(3) (2003), 267-286.
5. Clementino, M. M. and Hofmann, D.: Effective descent morphisms in categories of lax algebras, Preprint 02-20, Department of Mathematics, University of Coimbra, 2002.
6. Clementino, M. M., Hofmann, D. and Tholen, W.: Exponentiability in categories of lax algebras, Preprint 03-02, Department of Mathematics, University of Coimbra, 2003.
7. Clementino, M. M. and Tholen, W.: Metric, topology and multicategory - a common approach, J. Pure Appl. Algebra 179 (2003), 13-47.
8. Hofmann, D.: An algebraic description of regular epimorphisms in topology, Preprint.
9. Eilenberg, S. and Moore, J. C.: Adjoint functors and triples, Illinois J. Math. 9 (1965), 381-398.
10. Herrlich, H.: On the failure of Birkhoff's theorem for small based equational categories of algebras, Cahiers Topologie Géom. Différentielle Catég. 34 (1993), 185-192.
11. Herrlich, H., Lowen-Colebunders, E. and Schwarz, F.: Improving Top: PrTop and PsTop, in Category Theory at Work, Heldermann Verlag, Berlin, 1991, pp. 21-34.
12. Lawvere, F. W.: Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. Fis. Milano 43 (1973), 135-166.
13. Linton, F. E. J.: Some aspects of equational categories, in Proc. Conf. Categorical Algebra (La Jolla 1965), Springer-Verlag, Berlin, 1966, pp. 84-95.
14. Lowen, R.: Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad, Oxford Mathematical Monographs, Oxford University Press, Oxford, 1997.
15. Lowen, R. and Windels, B.: AUnif: A common supercategory of pMet and Unif, Internat. J. Math. Math. Sci. 21 (1998), 1-18.
16. Manes, E. G.: A triple theoretic construction of compact algebras, in Springer Lecture Notes in Math. 80, 1969, pp. 91-118.
17. Tholen, W.: Procategories and multiadjoint functors, Canad. J. Math 36 (1984), 144-155.