22 Commits (master)

Author SHA1 Message Date
Joshua Moerman 48ca921759 Fixed typos 11 years ago
Joshua Moerman ffac9f4662 Thesis: proved last detail, added conclusion 11 years ago
Joshua Moerman 3412b151f5 Thesis: Shortened CT section, fixed some minor issues elsewhere 11 years ago
Joshua Moerman cf20f5077b CT: fixed some minor issues 11 years ago
Joshua Moerman 470428fe1f Thesis: created awesome background on the title page 11 years ago
Joshua Moerman 07cbcb73e0 Thesis: some todos/typos/... 11 years ago
Joshua Moerman 8f41cc247e Thesis: titlepage/toc/... 11 years ago
Joshua Moerman 29d12bf725 Thesis: refs with chapter, removed todo, some typos 11 years ago
Joshua Moerman 6983ba3652 Thesis: Added references (+typo, todos) 11 years ago
Joshua Moerman 6082701500 CC, sAb: changed some pictures, filled in some todos, started some lemmas 11 years ago
Joshua Moerman dd5d85c84d C: completed some lemmas 11 years ago
Joshua Moerman 54923d3c29 CT, CC: some changes by supervisor 11 years ago
Joshua Moerman 215c82bc9a Moved images to where they belong 11 years ago
Joshua Moerman 9567805b5d Thesis: added some todos 11 years ago
Joshua Moerman 155d05c384 Thesis: Added a chapter about homotopy 11 years ago
Joshua Moerman 7bdf2126c7 Global: definitions not in italics 11 years ago
Joshua Moerman e2e04a00f3 Added new chapter (not sure about the title, though) and some more bits 11 years ago
Joshua Moerman c7b037d0a2 Thesis: Worked on sAb section 11 years ago
Joshua Moerman 3245706c99 worked on the category chapter 11 years ago
Joshua Moerman 9cebb7a8c2 Thesis: typed some stuff 11 years ago
Joshua Moerman 2835136e88 Basic definition and stub DoldKan.tex 11 years ago
Joshua Moerman bdcf5b25d6 Added stub for the main thing and preamble 11 years ago