2 commits

Author	SHA1	Message	Date
Joshua Moerman	81fbfeab2c	Adds Kunneth and UCTHM. Adds part about minimal models	2014-07-10 16:29:32 +02:00
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