Joshua Moerman
|
1978ad13a8
|
add built pdfs (presumably the final versions)
|
3 years ago |
|
Joshua Moerman
|
8a6e49781b
|
Updates the readme
|
9 years ago |
|
Joshua Moerman
|
6016bbd5c3
|
Restructures the files
|
9 years ago |
|
Joshua Moerman
|
905c350803
|
Manually typesets second half
|
9 years ago |
|
Joshua Moerman
|
09935ee815
|
Manually typesets first half
|
9 years ago |
|
Joshua Moerman
|
4aedd4ae09
|
Rewrites intro a bit.
|
9 years ago |
|
Joshua Moerman
|
29557d1baa
|
Cleans up a bit
|
9 years ago |
|
Joshua Moerman
|
a4f31d1813
|
Updates the images in the chapter on rationalization
|
9 years ago |
|
Joshua Moerman
|
96bd078297
|
Makes the telescope_maps image smaller
|
9 years ago |
|
Joshua Moerman
|
6bf4933a42
|
Adds telescope picture
|
9 years ago |
|
Joshua Moerman
|
4c9c77a190
|
Fixes almost all todo's YAY
|
9 years ago |
|
Joshua Moerman
|
c179718c76
|
Fixes two todos
|
9 years ago |
|
Joshua Moerman
|
5496fc3539
|
Fixes some todos
|
9 years ago |
|
Joshua Moerman
|
7994b1303f
|
Did something wrong with merging last time
|
9 years ago |
|
Joshua Moerman
|
674330944c
|
Adds deree of generators
|
9 years ago |
|
Joshua Moerman
|
e58eb67f61
|
Adds stuff to presentation :D:D:D
|
9 years ago |
|
Joshua Moerman
|
2143582542
|
Adds images to the presentation
|
9 years ago |
|
Joshua Moerman
|
1177b83309
|
Adds small note
|
9 years ago |
|
Joshua Moerman
|
b7d07fedb3
|
Adds stub for presentation
|
9 years ago |
|
Joshua Moerman
|
7aa8adb2fa
|
Fixes some notation/consistency issues. Fixes the weird symbol k
|
9 years ago |
|
Joshua Moerman
|
a4797491db
|
Adds better title page, more intro/outro. Fixes typoes
|
9 years ago |
|
Joshua Moerman
|
d21e3f5168
|
Sprinkles augmentations around
|
9 years ago |
|
Joshua Moerman
|
774cbec4ab
|
Rewrites existence of minimal models
|
9 years ago |
|
Joshua Moerman
|
054badbca9
|
Rewrites pieces of the rationalization
|
9 years ago |
|
Joshua Moerman
|
560dfae79f
|
Adds stuff in the applications/further topics
|
9 years ago |
|
Joshua Moerman
|
63ef18760d
|
Adds more stuff on the Hopf part
|
9 years ago |
|
Joshua Moerman
|
a886d376c9
|
Stub for intro
|
9 years ago |
|
Joshua Moerman
|
01f42992d5
|
Adds more on the surjectivity trick. Updates todos
|
9 years ago |
|
Joshua Moerman
|
f05c997e6d
|
Fixes the model structure on cdga's once and for all ;D
|
9 years ago |
|
Joshua Moerman
|
6633aec219
|
Fixes a lot of small issues
|
9 years ago |
|
Joshua Moerman
|
8a70f1173e
|
Adds some details to the model structure (but still not all)
|
9 years ago |
|
Joshua Moerman
|
484787d709
|
Adds the Felix tricks to avoind pi_2(f) surjective
|
9 years ago |
|
Joshua Moerman
|
5f7f7c1ce1
|
Fixes small (style) errors
|
9 years ago |
|
Joshua Moerman
|
901dd7b3f4
|
Makes the biblio more consistent
|
9 years ago |
|
Joshua Moerman
|
8b3f25d9e5
|
Adds prove of pi_n = pi^n as groups
|
9 years ago |
|
Joshua Moerman
|
82db3620d2
|
Adds group iso (stub)
|
9 years ago |
|
Joshua Moerman
|
5efbe0843b
|
Fixes some typos
|
9 years ago |
|
Joshua Moerman
|
ed300f1e6b
|
Adds long exact sequence for homotopy groups of cdga's
|
9 years ago |
|
Joshua Moerman
|
0b5537b04b
|
Adds a part on augmented cdgas
|
9 years ago |
|
Joshua Moerman
|
ff5ade6894
|
Fixes a proof (to some extend)
|
9 years ago |
|
Joshua Moerman
|
bd4aba53b7
|
Fixes a typo and adds a todo
|
9 years ago |
|
Joshua Moerman
|
b7f48322c5
|
Moves the section on homotopy groups to chapter 4
|
9 years ago |
|
Joshua Moerman
|
e399462702
|
Adds the Eilenberg-Moore theorem (and refs)
|
9 years ago |
|
Joshua Moerman
|
ad580467e2
|
Fixes some small things again
|
9 years ago |
|
Joshua Moerman
|
a4b2a5d0c2
|
Fixes some small things and adds some todos
|
9 years ago |
|
Joshua Moerman
|
1126492263
|
Fixes small consistency thingies
|
9 years ago |
|
Joshua Moerman
|
e11f0209af
|
Small clean ups
|
9 years ago |
|
Joshua Moerman
|
5b06943cba
|
Finally got the Kreck lemma right
|
9 years ago |
|
Joshua Moerman
|
3e1bdb8612
|
Adds more on model cats. Fixes some typoes
|
9 years ago |
|
Joshua Moerman
|
5567f23ac8
|
Cleans up algebra appendix
|
9 years ago |
