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

У меня есть давняя, но довольно сумасшедшая идея, что все это можно сделать гораздо более простым и наглядным, если применить графические языки, используемые в теории категорий (и родственные диаграммам Фейнмана). Я даже пытался в ЖЖ изобразить нечто вроде modus ponens (но конечно это не он, по смыслу). Собственно для этого и задумывался мой "монокль", но у самого доделать не хватает чего-то... Саму дедуктивную систему можно рассматривать как моноидальную категорию. Это конечно "страшные" слова, но по сути все очень просто.