Back to Results
First PageMeta Content
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

Document Date: 2014-05-15 22:28:42

Open Document

File Size: 329,89 KB

Share Result on Facebook

City

Springer-Verlag / Vienna / Chicago / /

Company

Oxford University Press / /

Country

Austria / United States / /

Currency

USD / /

/

Facility

Carnegie Mellon University / University of Chicago Press / Agda library / Chalmers University of Technology / R. Garner / /

IndustryTerm

inverse/unit law / left unit law / inverse law / basic tool / /

Organization

London Mathematical Society / pentagon / National Science Foundation / U.S. government / University of Chicago Press / Chicago / Institute for Advanced Study / Carnegie Mellon University / Cambridge Philosophical Society / Wesleyan University / Oxford University / Chalmers University of Technology / /

Person

Mike Shulman / Agda / Guillaume Brunerie / Peter LeFanu Lumsdaine / Coq / Eric Finster / /

Position

author / future proof assistant / calculus and related systems General / Proof Assistant / /

Product

Freudenthal suspension / The Freudenthal suspension / Fruedenthal suspension / /

ProgrammingLanguage

Lambda calculus / /

ProvinceOrState

Illinois / New York / /

PublishedMedium

Theoretical Computer Science / /

Technology

http / /

URL

http /

SocialTag