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