J. Daniel Christensen Department of Mathematics The University of Western Ontario London, Ontario N6A 5B7 http: jdc.math.uwo.ca [removed[removed]x86530 - Book:M-Theory - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-03-27 22:24:43 Jack Morava Algebraic topology Homotopy type theory Phantom map Homotopy category Book:M-Theory Peter Hilton Homotopy theory Topology Mathematics		J. Daniel Christensen Department of Mathematics The University of Western Ontario London, Ontario N6A 5B7 http://jdc.math.uwo.ca [removed[removed]x86530 Add to Reading List Source URL: jdc.math.uwo.ca Download Document from Source Website File Size: 58,38 KB Share Document on Facebook

	Category Theory in Context Emily Riehl Chapter 6 is adapted with permission from Chapter 1 of Categorical Homotopy Theory, by Emily Riehl, Cambridge University Press. © Emily Riehl 2014 DocID: 1tYcG - View Document
	A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c DocID: 1tJnk - View Document
	Category theory in context Emily Riehl Chapter 6 is adapted with permission from Chapter 1 of Categorical Homotopy Theory, by Emily Riehl, Cambridge University Press. © Emily Riehl 2014 DocID: 1s25F - View Document
	JOURNAL OF INTERDISCIPLINARY MATHEMATICS Journal of Interdisciplinary Mathematics DocID: 1rtlz - View Document
	Internal Completeness of Categories of Domains Paul Taylor 1985 This paper was presented at Category Theory and Computer Programming bf 1, University of Surrey (Guildford), SeptemberIt was published in Springer-Ve DocID: 1rqwq - View Document