They say the new method ... these new systems," Zardini says. This new diagram-based "language" is heavily based on something called category theory, he explains. It all has to do with designing ...