Coordinating complicated interactive systems ... diagram-based "language" is heavily based on something called category theory, he explains. It all has to do with designing the underlying ...