Без заголовка

Я считаю, что этот случай нужно воспринимать несколько иначе: моноидальные диаграммы показывают, что можно найти графическую нотацию, которая 1:1 соответствует исчислению. И я воспринимаю это как повод искать исчисления, соответствующие уже используемым нотациям (ведь именно так произошло с Фейнмановскими диаграммами - они создавались без малейшей связи с моноидальными категориями!) Остается найти людей, которые будут это делать. :) Те, кто знает нотации - не очень знают математику, а математикам не очень интересны эти нотации.