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 - Synthetic geometry - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Add to Reading List Document Date: 2014-06-01 15:27:23 Open Document File Size: 298,08 KB Share Result on Facebook Currency pence / / Person Erik Palmgren / Ieke Moerdijk / Benno van den Berg / / SocialTag Sheaf theory Topos theory Homological algebra Order theory Topos Sheaf Subobject classifier Categorical logic Adjoint functors Category theory

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 List