Progetto:Matematica/Elenco di voci sulla teoria delle categorie: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 7:
== Categorie specifiche ==
 
*[[insieme|Categoria degli insiemi]]
**[[Categoria concreta]]
*[[K-Vect]]
*[[spazio topologico|Categoria degli spazi topologici]]
*[[spazio metrico|Categoria degli spazi metrici]]
*[[spazio misurabile|Categoria degli spazi misurabili]]
*[[gruppo (matematica)|Categoria dei gruppi abeliani]]
*[[Categoria degli insiemi preordinati]]
*[[gruppo abeliano|Categoria dei gruppi abeliani]]
*[[Categoria dei gruppi abeliani]]
 
== Oggetti ==
Line 24 ⟶ 23:
*[[Sottooggetto]]
*[[Oggetto gruppo]]
*[[Oggetto magma]]
 
== [[Morfismi]] ==
Line 32 ⟶ 30:
*[[Duale (teoria delle categorie)]]
*[[Gruppoide]]
*[[ImmaginaImmagine (teoria delle categorie)]]
*[[Coimmagine]]
*[[Diagramma commutativo]]
Line 44 ⟶ 42:
*[[Funtore fedele]]
*[[Lemma di Yoneda]]
*[[CaregoriaCategoria dei funtori]]
*[[Funtori aggiunti]]
**[[Connessione di Galois]]
Line 112 ⟶ 110:
*[[Algebra di Heyting]]
 
== Vedi anche: == [[Assurdità astratta]], [[Algebra omologica]]
 
[[Categoria:Elenchi di voci|Teoria delle categorie]]