intro and notes to category theory