add category theory intro.
various fixes.