52 commits

Author	SHA1	Message	Date
Joshua Moerman	38e9dcf737	Continues with Kan extensions. Adds stub about sing cochain. Proves (A,K) to be Quillen Pair (adds diagrams).	2014-07-04 16:27:22 +02:00
Joshua Moerman	ed3eadf75a	Moves everything to notes, as there is no intended order yet. Adds some notes.	2014-07-03 18:41:39 +02:00