Teorija kategorija: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
Redak 44:
Nije teško poopćiti pojam funktora na funktor više varijabli. U slučaju dvije varijable ponekad kažemo bifunktor. Bifunktori s varijablama u kategorijama ''C'' i ''D'' i s vrijednostima u kategoriji ''E'' identificiramo s običnim funktorima iz kartezijevog produkta kategorija ''C'' x ''D'' u kategoriju ''E''.
 
U starijoj literaturi funktori su se nazivali kovarijantnim funktorima, a uz njih je upotrebljavan i pojam kofunktora ili kontravarijantnog funktora. No, '''kontravarijantan funktor''' iz ''C'' u ''D'' je zapravo običan (kovarijantni) funktor iz suprotne kategorije <math>C^\circ</math> u ''D''.
 
=== Ekvivalencija kategorija ===