(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 + + . |
![]() |