(1) se U un morfismo tra A e B ( (2) la composizione di morfismi associativa, (3) per ogni oggetto X esiste un morfismo identit IX tale che, per ogni Le collezioni di oggetti possono essere le relazioni binarie, gli insiemi, i gruppi, gli anelli, gli spazi vettoriali, gli spazi topologici, Per approfondimenti + + . |