Synthetic Differential Geometry An application to Einstein’s Equivalence Principle Tim de Laat

First Page		Document Content
Date: 2008-09-02 03:57:26 Calculus Non-standard analysis Infinity Sheaf theory Topos Differential Infinitesimal Smooth infinitesimal analysis Subobject classifier Mathematics Mathematical analysis Category theory		Synthetic Differential Geometry An application to Einstein’s Equivalence Principle Tim de Laat Add to Reading List Source URL: www.math.ru.nl Download Document from Source Website File Size: 304,13 KB Share Document on Facebook

	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† DocID: Ssp7 - View Document
	Theory and Applications of Categories, Vol. 29, No. 20, 2014, pp. 542–568. CONTINUOUS COHESION OVER SETS M. MENNI Abstract. A pre-cohesive geometric morphism p : E → S satisfies Continuity if the ∗ DocID: QDWA - View Document
	LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio DocID: 8Vz0 - View Document
	arXiv:0711.1529v3 [math.LO] 22 Oct[removed]LAWVERE-TIERNEY SHEAVES DocID: 3Myn - View Document
	Synthetic Differential Geometry An application to Einstein’s Equivalence Principle Tim de Laat DocID: 2VoW - View Document