Seminario di Logica (SLAP) - On the concreteness of certain categories

Friday, June 30, 2017
Ora Inizio: 
16:00
Ora Fine: 
17:00
Ivan Di Liberti
Masaryk University

Abstract: La categoria K è concreta se esiste un funtore fedele F : K
→ Set. Essere concreta è una proprietà di quelle categorie i cui
oggetti possono essere pensati come insiemi e le cui frecce possono essere
pensate come funzioni. Per anni non ci sono stati esempi naturali di
categorie non concrete. Freyd provò che la categoria omotopica degli spazi
topologici non è concreta. Nel seminario vedremo le idee principali della
dimostrazione sottolineando quelle che permettono la generalizzazione del
risultato alla categoria omotopica di categorie modello con k(G, n).