Аннотация

Это экспериментальный проект, объединяющий химию и абстрактную математику через теорию категорий. В основе лежит оригинальная модель, в которой молекулы и химические реакции описываются как объекты и морфизмы в мультрикатегории.

Проект предлагает:

• формальное описание химических реакций как композиционных преобразований.
• собственный синтаксис для описания молекул, реакций и цепочек превращений.
• серверное API для анализа, хранения и поиска реакционных путей.
• возможную основу для симуляции синтеза, автоматического вывода продуктов и визуализации реакционных сетей.

Почему это может быть интересно?

• Для математиков: это живой пример применения категориального мышления в области естественных наук.
• Для химиков: это инструмент для анализа и формализации реакций без потери смысла.
• Для программистов: это архитектурно чистый и расширяемый проект на стыке языка, графов и алгебры.