Олог

Олог Олог — это математическая модель, используемая для описания предметных областей и отношений между объектами.  Ологи основаны на категориях и […]

Олог

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

Полный текст статьи:

Олог — Википедия, бесплатная энциклопедия

Оставьте комментарий

Прокрутить вверх