6 commits

Author	SHA1	Message	Date
Floris van Doorn	fcf06ae2f5	feat(vankampen): prove the van Kampen theorem with basepoints	2016-07-09 10:20:21 -07:00
Floris van Doorn	52dd6cf90b	feat(hott): Port files from other repositories to the HoTT library. ... This commit adds truncated 2-quotients, groupoid quotients, Eilenberg MacLane spaces, chain complexes, the long exact sequence of homotopy groups, the Freudenthal Suspension Theorem, Whitehead's principle, and the computation of homotopy groups of almost all spheres which are known in HoTT.	2016-05-06 14:27:27 -07:00
Ulrik Buchholtz	7e8ba1440f	feat(hott): update book.md and homotopy.md to reflect additions	2016-03-23 09:22:55 -07:00
Floris van Doorn	058000f61d	feat(homotopy/homotopy_group): add theorems in section 8.3 of the HoTT book	2016-03-03 10:13:21 -08:00
Floris van Doorn	4238fdd3d8	fix(hott): add missing links to markdown files	2016-03-03 10:13:20 -08:00
Ulrik Buchholtz	384a366e0f	refactor(hott): move homotopy hits to new homotopy folder	2015-09-24 22:52:33 -04:00