Садржај обрисан Садржај додат
{{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 ==