WikiDer > Категория медиальных магм

Category of medial magmas

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

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

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

(Икс, у) → у.

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

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