Категорія добутку — категорія, що отримується з початкових категорій за допомогою їх добутку — операції, що узагальнює поняття декартового добутку множин.
Визначення
Категорію добутку C × D визначають так:
- об'єкти:
- пари об'єктів (A, B), де A — об'єкт C і B — об'єкт D;
- морфізми з (A1, B1) в (A2, B2):
- пари морфізмів (f, g), де f : A1 → A2 — морфізм у C і g : B1 → B2 — в D;
- правила композицій морфізмів:
- (f2, g2) o (f1, g1) = (f2 o f1, g2 o g1);
- тотожні морфізми:
- 1(A, B) = (1A, 1B).
Як і для множин, визначення тривіально узагальнюється на добуток n категорій. Операція добутку комутативна та асоціативна, з точністю до ізоморфізму.
Зв'язок з іншими категоріями
Функтор, область визначення якого — категорія добутку, називають біфунктором. Один з найважливіших функторів такого типу — функтор Hom.
Література
- Маклейн С. Глава 2. Конструкции в категориях // Категории для работающего математика = Categories for the working mathematician / Пер. с англ. под ред. В. А. Артамонова. — М.: Физматлит, 2004. — С. 43—67. — 352 с. — ISBN 5-9221-0400-4.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Kategoriya dobutku kategoriya sho otrimuyetsya z pochatkovih kategorij za dopomogoyu yih dobutku operaciyi sho uzagalnyuye ponyattya dekartovogo dobutku mnozhin ViznachennyaKategoriyu dobutku C D viznachayut tak ob yekti pari ob yektiv A B de A ob yekt C i B ob yekt D morfizmi z A1 B1 v A2 B2 pari morfizmiv f g de f A1 A2 morfizm u C i g B1 B2 v D pravila kompozicij morfizmiv f2 g2 o f1 g1 f2 o f1 g2 o g1 totozhni morfizmi 1 A B 1A 1B Yak i dlya mnozhin viznachennya trivialno uzagalnyuyetsya na dobutok n kategorij Operaciya dobutku komutativna ta asociativna z tochnistyu do izomorfizmu Zv yazok z inshimi kategoriyamiFunktor oblast viznachennya yakogo kategoriya dobutku nazivayut bifunktorom Odin z najvazhlivishih funktoriv takogo tipu funktor Hom LiteraturaMaklejn S Glava 2 Konstrukcii v kategoriyah Kategorii dlya rabotayushego matematika Categories for the working mathematician Per s angl pod red V A Artamonova M Fizmatlit 2004 S 43 67 352 s ISBN 5 9221 0400 4