Eilenberg-MacLane Spaces in Homotopy Type Theory Daniel R. Licata ∗ Eric Finster

First Page		Document Content
Date: 2014-05-15 22:28:42 Algebraic topology Homotopy group Homotopy Eilenberg–MacLane space Fundamental group CW complex Freudenthal suspension theorem N-connected Path Topology Homotopy theory Abstract algebra		Eilenberg-MacLane Spaces in Homotopy Type Theory Daniel R. Licata ∗ Eric Finster Add to Reading List Source URL: dlicata.web.wesleyan.edu Download Document from Source Website File Size: 329,89 KB Share Document on Facebook

	UNSTABLE HOMOTOPY THEORY GRADUATE STUDENT SEMINAR SUMMER TERM 2012 Irakli Patchkoria The objective of the seminar is to discuss some structural and computational results from DocID: 1py1e - View Document
	Eilenberg-MacLane Spaces in Homotopy Type Theory Daniel R. Licata ∗ Eric Finster DocID: 18nuU - View Document
	BOUNDING THE NUMBER OF STABLE HOMOTOPY TYPES OF A PARAMETRIZED FAMILY OF SEMI-ALGEBRAIC SETS DEFINED BY QUADRATIC INEQUALITIES SAUGATA BASU AND MICHAEL KETTNER Abstract. We prove a nearly optimal bound on the number of s DocID: 8K8p - View Document
	FREUDENTHAL SUSPENSION THEOREM TENGREN ZHANG DocID: 4Dx2 - View Document
	THE SPHERE SPECTRUM John Rognes DocID: 4xU3 - View Document