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

Кроме того, то, что я не могу пока найти графического представления для этого стандарта, говорит лишь о моих умственных способностях. :) А теория замкнутых моноидальных категорий сегодня активно взаимодействует с линейной логикой, которая является, возможно, естественной логикой для описания процессов (кстати, процесс можно понимать как морфизм, я несколько раз об этом писал). Так что м.б. будут найдены более подходящие области применения этой нотации.