Date: 2014-06-01 15:27:23Sheaf theory Topos theory Homological algebra Order theory Topos Sheaf Subobject classifier Categorical logic Adjoint functors Category theory Mathematics Abstract algebra | | 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 constructioAdd to Reading ListSource URL: www.andrew.cmu.eduDownload Document from Source Website File Size: 298,08 KBShare Document on Facebook
|