Estratto del documento

Teoria delle categorie

Fondata da S. Eilenberg e S. MacLane nel 1940. Si introduce il concetto di categoria, come continuità delle varie strutture, smussature e omofunzioni da categoria. Oggetti e morfismi sono i concetti chiave. La teoria è stata fondata a Perugia nel 1978/1979 con l'accesso di Caviere. I vantaggi di questa teoria risiedono nell'essere il linguaggio universale della matematica, facilitando la descrizione di molte proprietà universali che astraggono aspetti e classifiche di diversi problemi.

Inoltre, introducendo il concetto di duale in una categoria, lavorando su una dimostrazione, si può ottenere una dimostrazione duale associata.

Il cerchio unitario

Il disco unitario (S1 con D1) è complesso da costruire. Costruisco dei funtori che permettono di passare dall'ambito geometrico a quello algebrico.

  • X ente geometrico → Π(X) gruppo fondamentale di X
  • H(X) gruppo di coomologia di X

Ogni funzione f: X → Y che conserva la struttura induce:

  • Π(f): Π(X) → Π(Y)
  • H{}: H(X) → H(Y)

Il problema è confrontare Π(X) e H(X). Tornando all'esempio e passando al funtore Π nel problema banale, Π(S1) = Z e Π(D1) = {o}. Faccio ridere se una sfera mantiene gli occhi nodi fino al centro, collassando al centro e continuando all'infinito.

Teoria delle categorie

Fondata da S. Eilenberg e S. MacLane nel 1940, si introduce il concetto di categoria come continuità di varie strutture, ad esempio di funtore, ovvero il passaggio tra categorie è tutto riattribuito agli autori. La teoria è nata a Perugia nel 1983/1984, con la tesi di laurea. I vantaggi di questa teoria risiedono nell'essere il linguaggio universale della matematica in quanto permette una grande facilità di passaggio tra problemi diversi o all'interno dello stesso problema.

Inoltre, introducendo il concetto di duale di una categoria, lavorando su una dimostrazione, si ottiene pure quella duale associata.

Esempio

  • S1 cerchio unitario
  • D1 disco unitario (S1 co1)

Costruisco un funtore che mi permette di passare dall'ambito geometrico a quello algebrico.

  • X ente geometrico → π(X) gruppo fondamentale di X
  • H(X) gruppo di omologia di X

Ogni funzione f: X → Y che conserva la struttura induce unicamente:

  • π(f): π(X) → π(Y)
  • [f]: H(X) → H(Y)

Ora, il problema è confrontare π(X) e H(X).

Anteprima
Vedrai una selezione di 10 pagine su 126
Teoria delle categorie e Topologia Pag. 1 Teoria delle categorie e Topologia Pag. 2
Anteprima di 10 pagg. su 126.
Scarica il documento per vederlo tutto.
Teoria delle categorie e Topologia Pag. 6
Anteprima di 10 pagg. su 126.
Scarica il documento per vederlo tutto.
Teoria delle categorie e Topologia Pag. 11
Anteprima di 10 pagg. su 126.
Scarica il documento per vederlo tutto.
Teoria delle categorie e Topologia Pag. 16
Anteprima di 10 pagg. su 126.
Scarica il documento per vederlo tutto.
Teoria delle categorie e Topologia Pag. 21
Anteprima di 10 pagg. su 126.
Scarica il documento per vederlo tutto.
Teoria delle categorie e Topologia Pag. 26
Anteprima di 10 pagg. su 126.
Scarica il documento per vederlo tutto.
Teoria delle categorie e Topologia Pag. 31
Anteprima di 10 pagg. su 126.
Scarica il documento per vederlo tutto.
Teoria delle categorie e Topologia Pag. 36
Anteprima di 10 pagg. su 126.
Scarica il documento per vederlo tutto.
Teoria delle categorie e Topologia Pag. 41
1 su 126
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche MAT/03 Geometria

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher el_ces_94 di informazioni apprese con la frequenza delle lezioni di Topologia I e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università degli Studi di Perugia o del prof Stramaccia Luciano.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community