minor edits.  Move discussion of Kan extensions to prelim chapter.