Una categoria arricchita in gruppi ha biprodotti?

Messaggioda killing_buddha » 22/05/2017, 10:33

Una categoria \(\mathcal C\) tale per cui ogni \(\hom(A,B)\) è un gruppo, e la mappa di composizione \(c_{ABC} : \hom(A,B)\times \hom(B,C) \to \hom(A,C)\) è un omomorfismo di gruppi si dice una \(\bf Grp\)-categoria.

Assumiamo che una tale \(\mathcal C\) abbia tutti i limiti e i colimiti finiti.

E' vero o no che una tale \(\mathcal C\) deve avere un oggetto zero (un oggetto che è sia iniziale che terminale) e biprodotti (ovvero è tale per cui \(X\times Y\cong X\coprod Y\))?
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 863 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Una categoria arricchita in gruppi ha biprodotti?

Messaggioda Stickelberger » 26/05/2017, 00:21

Puoi darci un esempio di una $Grp$-categoria?
E di una $Grp$-categoria che ha tutti i limiti e i colimiti finiti?
Avatar utente
Stickelberger
Average Member
Average Member
 
Messaggio: 287 di 868
Iscritto il: 12/12/2010, 16:24

Re: Una categoria arricchita in gruppi ha biprodotti?

Messaggioda killing_buddha » 29/05/2017, 16:55

In realtà no; il punto era proprio che lo stavo cercando.
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 866 di 5766
Iscritto il: 03/05/2008, 17:33


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite