This new diagram-based "language" is heavily based on something called category theory, he explains. It all has to do with designing the underlying architecture of computer algorithms—the ...