SHEAVES ON SPACES Contents 1. Introduction 2. Basic notions 3. Presheaves

First Page		Document Content
Date: 2015-04-15 15:08:27 Topology Sheaf Gluing axiom Stalk Grothendieck topology Constant sheaf Functor Initial and terminal objects Presheaf Category theory Abstract algebra Sheaf theory		SHEAVES ON SPACES Contents 1. Introduction 2. Basic notions 3. Presheaves Add to Reading List Source URL: stacks.math.columbia.edu Download Document from Source Website File Size: 445,47 KB Share Document on Facebook

	PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Abstract. We introduce a new kind of models for constructive set theories based on categories of presheaves. These models are a counterpart of the presheaf mod DocID: 1uPhf - View Document
	Interpreting Type Theory in Appropriate Presheaf Toposes Thomas Streicher, Jonathan Weinberger TU Darmstadt, Germany July 19, 2017 DocID: 1tIpm - View Document
	SIMPLICIAL STRUCTURES ON MODEL CATEGORIES AND FUNCTORS By CHARLES REZK, STEFAN SCHWEDE, and BROOKE SHIPLEY Abstract. We produce a highly structured way of associating a simplicial category to a model category which impr DocID: 1rmLw - View Document
	393 Documenta Math. Slices and Transfers Marc Levine1 DocID: 1qKDO - View Document
	445 Documenta Math. Motivic Symmetric Spectra J. F. Jardine DocID: 1qIO3 - View Document