Кең санат - Extensive category - Wikipedia

Жылы математика, an кең категория Бұл санат C үйлесімсіз және өздерін жақсы ұстайтын ақырғы қосымшалармен кері тарту. Эквивалентті, C -дан алынған қосымша өнім функциясы кең болса кесінді санаттарының өнімі C/X × C/Y дейін тілім категориясы C/(X + Y) болып табылады категориялардың эквиваленттілігі барлық нысандар үшін X және Y туралы C.[1]

Мысалдар

Санаттар Орнатыңыз және Жоғары жиынтықтар мен топологиялық кеңістіктер, сәйкесінше, кең категориялар болып табылады.[2] Жалпы, кез-келген кіші санаттағы алдын-ала пісіру санаты кең.[2]

Санат CRingоп туралы аффиндік схемалар ауқымды.

Әдебиеттер тізімі

  1. ^ Карбони, Орелио; Жетіспеушілік, Стивен; Уолтерс, Р.Ф. (1993). «Экстенсивті және дистрибьюторлық категорияларға кіріспе». Таза және қолданбалы алгебра журналы. 84 (2): 145–158. дои:10.1016 / 0022-4049 (93) 90035-R.
  2. ^ а б Педикчио, Мария Кристина; Толен, Уолтер (2004). Категориялық негіздер: тәртіптегі арнайы тақырыптар, топология, алгебра және қабық теориясы. Кембридж университетінің баспасы. ISBN  978-0-521-83414-8. Алынған 4 сәуір 2018.

Сыртқы сілтемелер