An invitation to abstract mathematics.