Олог
- Олог — это математическая модель, используемая для описания предметных областей и отношений между объектами.
- Ологи основаны на категориях и морфизмах, которые представляют направленные стрелки между объектами.
- Целевые категории могут быть различными, такими как категория множеств и функций или категория вероятностных распределений Клейсли.
- Ологи также могут рассматриваться как схемы баз данных, где объекты представлены таблицами, а стрелки являются столбцами.
- Коммуникация между различными логами осуществляется с помощью функторов, которые должны иметь смысл для объектов, являющихся подмножествами.
- Спивак приводит рекомендации по написанию ологов, которые должны соответствовать определенным правилам для обеспечения четкой определенности объектов и стрелок.
- Концепция ологов была использована в статье для установления научной аналогии между паучьим шелком и музыкальной композицией.
Полный текст статьи: