Riferirsi al passaggio seguente e rispondere alla domanda successiva nella stessa lingua 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. Ad esempio, ogni gruppo (come definito sopra) è anche un insieme, quindi un gruppo è un oggetto di gruppo nella categoria degli insiemi.  Domanda: Qual è ogni gruppo?
impostare