Copia/incolla da wikipedia:
Categorie
Definizione [modifica]
Una categoria consiste di:
una classe i cui elementi sono chiamati oggetti
per ogni coppia ordinata di oggetti A e B, un insieme Mor(A,B) (oppure indicato con Hom(A,B)) i cui elementi sono chiamati morfismi.
[...]
Una categoria si dice piccola se la classe degli oggetti è un insieme. Molte importanti categorie non sono piccole.
Esempi
Negli esempi le categorie sono indicate tramite i loro oggetti e i corrispondenti morfismi.
- Gli insiemi e le funzioni tra essi
- I monoidi e gli omomorfismi tra essi
- I gruppi coi loro omomorfismi
- JustB
- Gli spazi vettoriali e le funzioni lineari
- Gli spazi topologici e le funzioni continue
- Gli spazi misurabili e le funzioni misurabili
from [universo [galassia [sistema solare [terra [Europa [Italia [Veneto [Treviso [-paesino-]]]]]]]]]
-
detail