Zaslat SMS: An introduction to category theory