Категория медиальных магм - Category of medial magmas

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

Категория Med имеет прямые продукты, поэтому понятие медиального объект магмы (внутренняя бинарная операция) имеет смысл. Как результат, Med имеет все свои объекты как медиальные объекты, и это его характеризует.

Существует функтор включения из Набор к Med как тривиальные магмы, причем операции верно прогнозы

(Икс, у) → у.

An инъективный эндоморфизм можно расширить до автоморфизм магмы расширение - копредел из постоянный последовательность эндоморфизма.

Смотрите также