Category Theory Illustrated