Metric spaces, generalized logic, and closed categories

  • F. William Lawvere
Conferenze

DOI: 10.1007/BF02924844

Cite this article as:
Lawvere, F.W. Seminario Mat. e. Fis. di Milano (1973) 43: 135. doi:10.1007/BF02924844

Summary

The analogy between dist (a, b)+dist (b, c)≥dist (a, c) and hom (A, B) ⊗ hom (B, C)→hom (A, C) is rigorously developed to display many general results about metric spaces as consequences of a «generalized pure logic» whose «truth-values» are taken in an arbitrary closed category.

Sunto

In questo articolo viene rigorosamente sviluppata l'analogia fra dist (a, b)+dist (b, c)≥dist (a, c) e hom (A, B) ⊗ hom (B, C)→ hom (A, C), giungendo a numerosi risultati generali sugli spazi metrici, come conseguenza di una «logica pura generalizzata» i cui «valori di verità» sono scelti in una arbitraria categoria chiusa.

Copyright information

© Birkhäuser-Verlag 1973

Authors and Affiliations

  • F. William Lawvere
    • 1
  1. 1.dell' Università di PerugiaPerugiaItalia