Объект категории: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
очистка от остатков копивио из МЭ
м поставил ударение
 
Строка 1:
{{значения|Объект}}
'''ОбъектОбъе́кт категориикатего́рии''' — базовое, неопределяемое понятие [[теория категорий|теории категорий]], применяемое для обозначения элементов категории, в роли которых могут выступать [[Математический объект|математические объекты]], объединяемые заданной категорией в совокупность — таковыми могут быть, например, [[Множество|множества]] (объекты [[категория множеств|категории множеств]]), [[Алгебраическая система|алгебраические системы]] определённого класса (например, [[Кольцо (математика)|кольца]] — объекты [[Категория колец|категории колец]]), [[Топологическое пространство|топологические пространства]] (объекты [[Категория топологических пространств|категории топологических пространств]]), схемы (объекты [[Категория схем|категории схем]]).
 
Кроме класса объектов, каждая категория состоит также из класса [[морфизм]]ов — совокупностей преобразований объектов; при этом морфизмы одной категории могут рассматриваться как объекты в какой-либо другой или наоборот, то есть, разделение составляющих категории на объекты и морфизмы имеет смысл только в рамках фиксированной категории.