Teorija kategorija: razlika između inačica
Izbrisani sadržaj Dodani sadržaj
Redak 77:
=== Monoidalne kategorije ===
'''Strogo monoidalna kategorija''' (sinonimi: striktna/striktno monoidalna kategorija koriste strani izraz striktan za strog) je kategorija ''C'' opremljena monoidalnim množenjem (produktom), koje je po definiciji (bi)funktor <math>\otimes : C\times C \to C</math> koji je asocijativan i za koji postoji jedinični objekt <math>1</math>, tj. objekt u <math>C</math> koji je jedinica s obzirom na to množenje. Većina primjera u matematici vodi, međutim, na monoidalne produkte koji nisu strogo asocijativni niti strogo unitalni, nego su asocijativni do na odabrani izomorfizam koji je u većini slučajeva koherentan u smislu objašnjenom niže. '''Koherentno monoidalna kategorija''' je kategorija opremljena bifunktorom <math>\otimes : C\times C \to C</math> kojeg zovemo monoidalnim umnoškom i koji je opremljen strukturom monoidalne koherencije u smislu da je za svaka tri objekta <math>M,N,P</math> u <math>C</math> izabran '''izomorfizam koherencije asocijacije''' <math>a_{M,N,P}:(M\otimes N)\otimes P\cong M\otimes (N\otimes P)</math>, te je za svaki objekt <math>M</math> izabran '''izomorfizam koherencije lijeve
=== Više kategorije ===
|