This new diagram-based "language" is heavily based on something called category theory, he explains. It all has to do with ...