Teoria delle categorie: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Recupero di 1 fonte/i e segnalazione di 0 link interrotto/i. #IABot (v1.6) |
wlink |
||
Riga 14:
Dagli assiomi si deduce che ad ogni oggetto è associato un unico morfismo identità. Questo permette di dare una definizione diversa di categoria, data dalla sola classe dei morfismi: gli oggetti vengono identificati a posteriori con i corrispondenti morfismi identità.
Una categoria si dice '''piccola''' se la classe degli oggetti è un [[
=== Esempi ===
Negli esempi le categorie sono indicate tramite i loro oggetti e i corrispondenti morfismi.
* Gli [[insieme
* I [[monoide|monoidi]] e gli [[omomorfismo|omomorfismi]] tra essi
* I [[gruppo (matematica)|gruppi]] coi loro [[omomorfismo|omomorfismi]]
| |||