An invitation to category theory