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 ===
|