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

>>Есть предположение, что моноидальные диаграммы могли бы быть полезными для изображения OIM из ISO 15926 (algebraic_brain может рассказать более подробно, поскольку это его мысль, которую я пока слабо понимаю) На самом деле, единственное мое преподложение по поводу применения моноидальных диаграмм относилось к пруф-ассистентам. Я пару раз говорил, что пока не вижу никакого прямого применения этой нотации к 15926, сети Петри там ближе. Сама теория категорий, безусловно, может быть применена в случае 15926, но не в целях построения моделера, а как альтернатива части 7 в целях проверки консистенстности. Например, если взять определения из части 7 вроде ENTITY A SUPERTYPE OF (X ANDOR ONEOF(Y, Z)) то это может быть переписано в виде A = (X + T)×(Y + Z + T), где "+" и "×"; - это, соответственно, категорные coproduct и product, а T - некоторый терминальный объект. Но это работа, честно говоря, скорее для тех, кто развивает стандарт. Что может действительно полезно здесь - это привитие теор-категорного мышления онтологам (и здесь моноидальные диаграммы действительно могут быть полезны, поскольку, пользуясь выражением justy_tylor, они действительно "сенсорно очевидны").