Предметы.
См Метафизика Аристотеля
Действия.
Статические и динамические Связи.
Статические связывают предметы через внешние свойства.
Динамические связывают предметы через действия.
Связи могут быть бинарными или n-арными.
Статико-динамические связи
Внутренние и внешние свойства предметов и действий.
Внешние свойства возможны только через связи.
Свойства это тоже предметы, но играющие особую роль
Выделяют первичное свойство для некоторой точки зрения.
?? Точки зрения.
?? Темпоральность. Точки зрения соотнесены со временем. Могут задаваться как функции
Срезы. Agendas
Редукция к простым срезам. Двустороннее обновление среза и оригинала. TwoSideMapping