Minor typos in case.
Swapped \PT and \BT.
typo fix (thanks to Toby Bartels)
note some people who have given feedback
fix definition of symmetric monoidal category (thanks to Toby Bartels)
slight improvement to discussion of ends
add some todos
add references to universal properties of ends and coends
minor edits.  Move discussion of Kan extensions to prelim chapter.
expand on section re: lambda calculus
Move discussion of Kan extensions back to Chapter 4.  Partially reverts @8afb392.
update: don't actually know how to generalize functor composition in terms of
Kan extensions.
write about the thing that isn't functor composition, using left Kan extensions
"Thta" -> "That"
+"of"
Merge branch 'master' of https://github.com/byorgey/thesis