Metric spaces, generalized logic, and closed categories
Article
Formal Antecedent
Category Theory
Citation
F. William Lawvere. (1973). Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano. 43. pp. 135–166.
Why this reference is included
Lawvere’s Metric spaces, generalized logic, and closed categories (1973) is part of the program’s reference corpus, acknowledged as a formal antecedent in Category Theory whose structures inform the framework’s vocabulary. It is retained in the corpus for completeness, though it is not directly cited in the currently published volumes of Panta Rhei.
Corpus status
In the corpus only This reference is part of the research corpus but is not directly cited in the currently published volumes of Panta Rhei.