Intuitionistic type theory - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-05-05 05:23:52 Abstract algebra Homotopy Path Covering space Quasigroup Intuitionistic type theory Out Fundamental group Bijection injection and surjection Topology Homotopy theory Mathematics		Add to Reading List Source URL: dlicata.web.wesleyan.edu Download Document from Source Website File Size: 347,01 KB Share Document on Facebook

	COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory DocID: 1xUV4 - View Document
	Publication list Paul Arne Østvær • Slices and the first stable homotopy groups of motivic spheres. In preparation. Joint with O. R¨ondigs and M. Spitzweck. • A1 -contractibility of Koras-Russell threefolds. Submi DocID: 1xTDc - View Document
	HOMOTOPY COHERENT STRUCTURES EMILY RIEHL Abstract. Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this in DocID: 1vf7q - View Document
	HOMOTOPY CLASSES OF HARMONIC MAPS OF THE STRATIFIED 2-SPHERES AND APPLICATIONS TO GEOMETRIC FLOWS JINGYI CHEN AND YUXIANG LI Abstract. We show that the set of harmonic maps from the 2-dimensional stratified spheres with DocID: 1v5qX - View Document
	RECIPROCITY SHEAVES BRUNO KAHN, SHUJI SAITO, AND TAKAO YAMAZAKI ¨ WITH TWO APPENDICES BY KAY RULLING Abstract. We start developing a notion of reciprocity sheaves, generalizing Voevodsky’s homotopy invariant presheave DocID: 1uXhs - View Document