Pagina 2 di 2

Re: Azione semplicemente transitiva del gruppo simmetrico

MessaggioInviato: 16/09/2018, 18:22
da marco2132k
Ti chiedo questo perché, come potrai immaginare, praticamente ignoro la teoria degli insiemi, anche se penso che con qualche trick si possa continuare a definire i gruppi sulle classi proprie.

killing_buddha ha scritto:Che cosa ti preoccupa? Che \(Aut(X)\) sia un insieme (e poi un gruppo, dato come è definito) fa parte degli assiomi di categoria.

killing_buddha ha scritto:Puoi avere una "categoria" dove ci sono \(hom(A,B)\) che sono classi proprie.

L'esempio che cercavo era proprio quest'ultimo: (per me stesso) ha senso parlare di gruppo quando \(\operatorname{hom}(A,B)\) è un insieme. Altrimenti, in una categoria non necessariamente localmente piccola, mi verrebbe intuitivamente da considerare \(\operatorname{Aut}(X)\) come un gruppoide, che ha già risolto nella definizione i problemi fondazionali; allora l'omomorfismo che mi dà l'azione è semplicemente un funtore \(G\to\operatorname{Aut}(X)\).

Re: Azione semplicemente transitiva del gruppo simmetrico

MessaggioInviato: 16/09/2018, 18:28
da killing_buddha
Non fare confusione tra categoria (che per definizione è localmente piccola), "categoria" (che necessita di una qualche astuzia fondazionale per essere definibile) e gruppoide.

Re: Azione semplicemente transitiva del gruppo simmetrico

MessaggioInviato: 16/09/2018, 19:19
da marco2132k
Hai effettivamente ragione: ho notato ora che la definizione di categoria è generalmente data in due modi: io fino ad ora avevo incontrato solo quella "con le classi/collezioni".

Grazie mille ancora! :D