Progetto:Matematica/Elenco di voci sulla teoria delle categorie

Questa pagina contiene un elenco di voci sulla Teoria delle categorie

Categorie specifiche

• Categoria degli insiemi
  • Categoria concreta
• K-Vect
• Categoria degli spazi topologici
• Categoria degli spazi metrici
• Categoria degli spazi misurabili
• Categoria dei gruppi
• Categoria dei gruppi abeliani
• Quiver

Oggetti

• Oggetto iniziale
• Oggetto terminale
• Oggetto zero
• Sottooggetto
• Oggetto gruppo

Morfismi

• Morfismo zero
• Morfismo normale
• Duale (teoria delle categorie)
• Gruppoide (teoria delle categorie)
• Immagine (teoria delle categorie)
• Coimmagine
• Diagramma commutativo

Funtori

• Isomorfismo di categorie
• Trasformazione naturale
• Equivalenza di categorie
• Sottocategoria
• Funtore fedele
• Lemma di Yoneda
• Categoria dei funtori
• Funtori aggiunti
  • Connessione di Galois
  • Dualità di Pontryagin
  • Schema affine
• Monade (teoria delle categorie)
• Comonade
• Specie combinatorie
• Funtore esatto
• Funtore derivato
• Funtore arricchito

Limiti

• Limite (teoria delle categorie)
  • Prodotto (teoria delle categorie)
  • Equalizzatore (teoria delle categorie)
  • Nucleo (teoria delle categorie)
  • Pullback, Prodotto fibrato
  • Limite inverso
    • Gruppo profinito
• Colimite
  • Coprodotto
  • Coequalizzatore
  • Conucleo
  • Pushout (teoria delle categorie)
  • Limite diretto
• Biprodotto
  • Somma diretta

Strutture additive

• Categoria preadditiva
• Categoria additiva
• Categoria preabeliana
• Categoria abeliana
  • Sequenza esatta
  • Funtore esatto
  • Lemma del serpente
    • Lemma nove
  • Lemma cinque
    • Lemma cinque breve
  • Teorema di immersione di Mitchell
• Cogeneratore iniettivo

Categoria monoidale

• Oggetto identità

Strutture (teoria delle categorie)

• Semigruppoide
• Localizzazione di una categoria
• Categoria arricchita
• Bicategoria

Topoi

• Fascio (teoria delle categorie)
• Discesa (teoria delle categorie)
• Topologia di Grothendieck
• Introduzione alla teoria dei topoi
• Classificatore di sottooggetti
• Topologia senza punti
• Algebra di Heyting