GENERAL SHEAVES OVER WEIGHTED PROJECTIVE LINES BY WILLIAM CRAWLEY-BOEVEY (LEEDS) Abstract. We develop a theory of general sheaves over weighted projective lines. We define and study a canonical decomposition, analogous t

First Page		Document Content
Date: 2008-01-07 07:57:07 Category theory Representation theory CurryHoward correspondence Vector bundle Coherent sheaf Tilting theory Universal property Connection form Indexed grammar		GENERAL SHEAVES OVER WEIGHTED PROJECTIVE LINES BY WILLIAM CRAWLEY-BOEVEY (LEEDS) Abstract. We develop a theory of general sheaves over weighted projective lines. We define and study a canonical decomposition, analogous t Add to Reading List Source URL: www1.maths.leeds.ac.uk Download Document from Source Website File Size: 268,20 KB Share Document on Facebook

	Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A DocID: 1rsbE - View Document
	PML : A new proof assistant and deduction system Christophe Raffalli LAMA DocID: 1rnYn - View Document
	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg DocID: 1rnzm - View Document
	Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2 DocID: 1rkb2 - View Document
	Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden DocID: 1rgNC - View Document