Fun with Category Theory