Riferirsi al passaggio seguente e poi rispondere alla domanda successivamente nello stesso linguaggio del passaggio: Passaggio: Molti gruppi sono contemporaneamente gruppi ed esempi di altre strutture matematiche. Nel linguaggio della teoria delle categorie, sono oggetti di gruppo in una categoria, il che significa che sono oggetti (cioè, esempi di un'altra struttura matematica) che vengono con trasformazioni (chiamate morfismi) che imitano gli assiomi di gruppo. Per esempio, ogni gruppo (come definito sopra) è anche un insieme, quindi un gruppo è un oggetto di gruppo nella categoria degli insiemi. Domanda: Che cosa è ogni gruppo?
impostare