SMS versenden: An introduction to category theory