Metric spaces, generalized logic, and closed categories

F. William Lawvere

Type: Article

Publication Date: 1973-12-01

Citations: 675

DOI: https://doi.org/10.1007/bf02924844

View Publication

Locations

Rendiconti del Seminario Matematico e Fisico di Milano - View

Similar Works

Action	Title	Year	Authors
+	Closed categories and Banach spaces	1976	Michael Barr
+	Fourteen papers on logic, geometry, topology, and algebra	1972	G. S. Tseitin
+	Continuity In Enriched Categories And Metric Model Theory	2017	Simon Seamoon Cho
+	Fourteen Papers on Logic, Geometry, Topology and Algebra	1972	G. Ceĭtin A V Černavskiĭ I F Donin G. E. Minc V. P. Orevkov B. Šaĭn A. O. Slisenko Ju. Trohinčuk A. Vermer
+	Logic and Category Theory	1981	Gonzalo E. Reyes
+	Set theory and metric spaces	1955	Edwin H. Spanier
+	Set theory and metric spaces	2015	Alberto Torchinsky
+	Closed categories and topological vector spaces	1976	Michael Barr
+ PDF Chat	Axioms for Moore spaces and metric spaces	1940	C. W. Vickery
+	Generalized Ultrametrics, Domains and an Application to Computational Logic	1998	Anthony Karel Seda Pascal Hitzler
+	Categories generalize linear Algebra to a logic, which is the foundation of mathematics	1992	Conrad Kuck
+ PDF Chat	Introduction to Categories and Categorical Logic	2010	Samson Abramsky Nikos Tzevelekos
+ PDF Chat	CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC	2020	SIMON CHO
+	METRICAL MATHEMATICS AND OPERATIONAL CALCULUS	1963	John W. Head
+	Metric, topology and multicategory—a common approach	2003	Maria Manuel Clementino Walter Tholen
+	Logic and Topology in Banach spaces	2016
+ PDF Chat	Tameness in generalized metric structures	2022	Michael Lieberman Jiřı́ Rosický Pedro Zambrano
+	An Elementary Overview of Mathematical Structures: Algebra, Topology and Categories	2020	Marco Grandis
+	Categories in Algebra, Geometry and Mathematical Physics	2007	Alexei Davydov Michael Batanin Michael Johnson Stephen Lack Amnon Neeman
+	Categories and Commutative Algebra	2011	Centro internazionale matematico estivo Paolo Salmon

Works That Cite This (478)

Action	Title	Year	Authors
+ PDF Chat	On Discrete Presheaf Monads	2023	Gao Zhang Shao-Qun Zhang
+	Cofibrantly generated lax orthogonal factorisation systems	2015	Ignacio López Franco
+	Quantale-valued topological spaces via closure and convergence	2017	Hongliang Lai Walter Tholen
+ PDF Chat	On the categorical behaviour of V-groups	2020	Maria Manuel Clementino Andrea Montoli
+	Stochastic order on metric spaces and the ordered Kantorovich monad	2020	T. A. Fritz Paolo Perrone
+ PDF Chat	Injective Hulls of Quantale-Enriched Multicategories	2021	Eros Martinelli
+ PDF Chat	Continuous [0,1]-lattices and injective [0,1]-approach spaces	2021	Junche Yu Dexue Zhang
+	Category Theory Lecture Notes	2001	Daniele Turi
+	Limit Preservation from Naturality	2005	Mario Cáccamo Glynn Winskel
+ PDF Chat	Flat vs. filtered colimits in the enriched context	2022	Stephen Lack Giacomo Tendas

Works Cited by This (1)

Action	Title	Year	Authors
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane