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