Категория запятой
Категория с запятой Категория с запятой — это категория, в которой объекты и морфизмы связаны с двумя другими категориями. Забывающие […]
Вики
Категории в теории категорий
Вики
Категория Клейсли
Категория Kleisli Категория Клейсли связана с любой монадой T и эквивалентна категории свободных T-алгебр. Категория Клейсли является одним из двух
Вики
Категория модулей
Категория модулей Категория левых модулей над кольцом R — это категория, объекты которой являются левыми модулями над R и морфизмы
Вики
Категория колец
Категория колец Кольца — это алгебраические структуры, которые обладают свойствами, аналогичными группам. Кольца имеют множество объектов и морфизмов, связанных с
Вики
Категория абелевых групп
Категория абелевых групп Категория Ab имеет абелевы группы и групповые гомоморфизмы в качестве объектов и морфизмов. Ab является прототипом абелевой
Вики
Категория групп
Категория групп Категория Grp содержит класс всех групп и групповые гомоморфизмы для морфизмов. Изучение теории групп является конкретной категорией. Есть
Вики
Категория наборов
Категория наборов Категория множеств является фундаментальной категорией в математике. Множество является объектом категории множеств, а морфизмы между множествами образуют морфизмы
Вики
Категория функтора
Категория функторов Категория функторов разделяет большинство «приятных» свойств исходной категории. Лемма Йонеды позволяет внедрить категорию в категорию функторов. Внедрение категории