start of order theory
Merge branch 'cmu-2013-fall' of https://github.com/favonia/hott-notes into cmu-2013-fall