Subobject

#	Item
21	arXiv:0711.1529v3 [math.LO] 22 Oct[removed]LAWVERE-TIERNEY SHEAVES Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2008-10-22 23:17:04 Sheaf theory Topos theory Homological algebra Topos Order theory Sheaf Subobject classifier Adjoint functors Categorical logic Category theory Mathematics Abstract algebra
22	Synthetic Differential Geometry An application to Einstein’s Equivalence Principle Tim de Laat Add to Reading List Source URL: www.math.ru.nl Language: English - 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