Wikipedia

Teoria delle categorie: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Riga 37:
 
Un morfismo ''f'': A → B si chiama
* [[monomorfismo]] se ''fg<submath>1</sub>''f(g_1) = ''fg<sub>2</sub>''f(g_2) implica\Rightarrow ''g<sub>1</sub>''g_1 = ''g<sub>2g_2</submath>'' per tutti i morfismi ''g<submath>1</sub>''g_1, ''g''<sub>2</sub>''g_2 : ''X'' &rarr;\rightarrow ''A''</math>.
* ''[[epimorfismo]]'' se ''g<sub>1</sub>f'' = ''g<sub>2</sub>f'' implica ''g<sub>1</sub>'' = ''g<sub>2</sub>'' per tutti i morfismi ''g<sub>1</sub>'', ''g<sub>2</sub>'' : ''B'' &rarr; ''X''.
* ''[[isomorfismo]]'' se esiste un morfismo ''g'' : ''B'' &rarr; ''A'' con ''fg'' = '''id'''<sub>''B''</sub> e ''gf'' = '''id'''<sub>''A''</sub>.
Estratto da "https://it.wikipedia.org/wiki/Teoria_delle_categorie"