Komutativni dijagram — разлика између измена

{{Main-lat|Viša teorija kategorija}}
 
InU highervišoj categoryteoriji theorykategorija, onene considersrazmatraju notse onlysamo objectsobjekti andi arrowsstrelice, butveć arrowsstrelice betweenizmeđu the arrowsstrelica, arrowsstrelice betweenizmeđu arrowsstrelica betweenkoje arrowssu između strelica, andi sotako ondalje -{[[wiktionary:ad_infinitum|ad infinitum]]}-. ForNa exampleprimer, thekategorija categorymalih of small categorieskategorija '''Cat'Mačka'' isje naturally aprirodno 2-categorykategorija, withsa [[Functor|functorsfunkor]]ima askao itsnjenim arrowsstrelicama, andi [[Natural transformation|naturalprirodnim transformationstransformacijama]] as thekao arrowsstrelicama betweenizmeđu functorsfunktora. InU thistom settingokruženju, commutativekomutativni diagramsdijagrami maymogu includetakođe theseda highersadrže arrowsi asove well,više whichstrelice, arekoje oftensu depictedčesto inprikazuju theu followingsledećem stylestilu: <math>\Rightarrow</math>. ForNa exampleprimer, the followingsledeći (somewhatpomalo trivialtrivijalni) diagramdijagram depictsprikazuje twodve categorieskategorije '''{{var|C}}''' andi '''{{var|D}}''', togetherzajedno withsa twodva functorsfunktora {{var|F}}, {{var|G}} : '''{{var|C}}''' → '''{{var|D}}''' andi aprirodnom natural transformationtransformacijom {{var|α}} : {{var|F}} ⇒ {{var|G}}:
 
:[[Image:2-commutative-diagram.svg|200px]]
 
TherePostoje aredve twovrste kindskompozicija of composition in au 2-categorykategoriji (calledkoje se nazivaju '''verticalvertikalna composition'kompozicija'' andi '''horizontalhorizontalna composition'kompozicija''), anda theymogu mayse alsoprikazati bei depicted viapomoću [[pasting diagrams|dijagrama spajanja]] (seepgledajte na primer definiciju [[2-category#Definition|2-kategorije]] for examples).
 
== Dijagrami kao funktori ==