Category Theory on the Tech Tree