Back to Results
First PageMeta Content
Mathematics / Model category / Groupoid / Homotopy / Weak equivalence / Fundamental group / Simplicial set / Fibration / Algebraic topology / Homotopy theory / Topology / Abstract algebra


TYPE THEORY AND HOMOTOPY STEVE AWODEY
Add to Reading List

Document Date: 2013-10-13 15:36:04

Open Document

File Size: 283,88 KB

Share Result on Facebook

Facility

Stanford University / /

IndustryTerm

possible new applications / computational tools / weak factorization systems / /

Organization

Stanford University / /

Person

Michael Warren / Agda / Coq / Vladimir Voevodsky / Pieter Hofstra / Peter Lumsdaine / Erik Palmgren / STEVE AWODEY / /

Position

author / /

SportsLeague

Stanford University / /

Technology

artificial intelligence / /

SocialTag