Pogovor:Skeletna kategorija

Iz MaFiRaWiki

Mislim, da to ni dobra definicija. Iz nje namreč ne izhaja, da ima skeletna kategorija z enim samim objektom en sam izomorfizem.TomazPisanski 10:40, 14 december 2005 (CET)

Ooops. Najbrž imaš pa prav!TomazPisanski 10:42, 14 december 2005 (CET)

Še vedno mislim, da to ni dobra definicija. Iz prej objavljene definicije: "med dvema objektoma največ en izomorfizem" sledi, da morata biti objekta med seboj enaka. Obratno pa ni res.TomazPisanski 09:24, 15 december 2005 (CET)

Kategorija, v kateri imamo dva objekta A in B ter poleg identitet še dva morfizma f:A→B in g:B→A, ki sta inverza drug drugega, ima lastnost, da je med A in B največ en izomorfizem, vendar A in B nista enaka. Zato ne razumem tvojega sklepa. Glej tudi Skeleton (category theory) na Wikipediji. AndrejBauer 15:36, 15 december 2005 (CET)

Ja, seveda imaš prav. Ampak, še vedno prvi del tvoje definicije ni dober. Ne deluje npr. za kategorije z enim samim objektom. TomazPisanski 16:25, 15 december 2005 (CET)

Bo držalo. Upam, da sem zdaj prav napisal. AndrejBauer 17:00, 15 december 2005 (CET)

Osebna orodja