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

Смотрю я на эти формулы, в которых нужно вводить "некий терминальный объект" и много-много скобок, и все больше думаю про pointfree (http://www.haskell.org/haskellwiki/Pointfree) и concatenation languages (http://concatenative.org). И у меня ощущение, что в диаграммах как раз этот переход и делается: объекты эти там по факту есть, но для них не нужно придумывать специального имени. Ну, и скобок поменьше (ибо неявно присутствует стек). Ну, и я написал про интерес к теории категорий у тех, кто развивает стандарт -- они как раз и интересуются (хотя не слишком активно, как я понимаю: там никто в этом не разбирается).