Looks like its advocating for a modeling language like UML, except it's based in category theory. The advantage is that you can formalize certain heuristics to

Looks like its advocating for a modeling language like UML, except it's based in category theory. The advantage is that you can formalize certain heuristics to help you quantify if your architecture is consistent and simple. You can also use it to model a jazz performance, supposedly.