Teorija kategorija: razlika između inačica
Izbrisani sadržaj Dodani sadržaj
mNema sažetka uređivanja |
|||
Redak 18:
Kategorija je '''mala''' ako su klase Ob(''C'')<sub>0</sub> i Mor(''C'')<sub>0</sub> zapravo [[skup]]ovi.
===
Morfizam ''f'':''a'' → ''b'' je lijevi inverz morfizma ''g'':''b'' → ''a'' ako ''g'' o ''f'' = 1<sub>a</sub>. Morfizam ''f'':''a'' → ''b'' je desni inverz morfizma ''g'':''b'' → ''a'' ako ''f'' o ''g'' = 1<sub>b</sub>. Morfizam je invertibilan s lijeva (s desna) ako ima lijevi (desni) inverz. Ako morfizam ima i lijevi i desni inverz onda je lako pokazati (iz asocijativnosti i svojstva identitete) da su oni jednaki. Taj lijevi ili desni inverz se tada naziva jednostavno inverz, a morfizam invertibilan.
| |||