Категория медиальных магм
 |
В математике , то категория медиальных магм , также известная как медиальная категория , и обозначаются Med , является категорией , чьи объекты являются медиальными магмами (то есть, устанавливает с медиальной бинарной операцией ), и чьи морфизмы являются магма гомоморфизмы (которые эквивалентны к гомоморфизмам в смысле универсальной алгебры ).
Категория Med имеет прямые продукты , поэтому концепция медиального объекта магмы (внутренняя бинарная операция) имеет смысл. В результате у Med все свои объекты являются медиальными объектами , и это его характеризует.
Существует функтор включения от Set до Med в виде тривиальных магм с операциями, являющимися правильными проекциями.
- ( х , у ) → у .
Инъективны эндоморфизм может быть продолжен до автоморфизма магмы расширения -The копредела от постоянной последовательности эндоморфизма.
Смотрите также
 | Эта статья по теории категорий незавершена . Вы можете помочь Википедии, расширив ее . |
