Topos (matematica)
Da Wikipedia, l'enciclopedia libera.
Topos in matematica (plurale topoi) è un tipo di categoria che si comporta come la categoria dei fasci di insiemi su uno spazio topologico.
Topoi di Grothendieck (topoi in geometria)[modifica]
Fin dall'introduzione, negli anni quaranta, in matematica, del concetto di fascio, un tema di ricerca importante è stato lo studio di uno spazio mediante i fasci definiti su di esso. L'idea fu esposta da Alexander Grothendieck introducendo il concetto di topos. L'utilità principale di questo concetto è l'abbondanza di situazioni in matematica in cui una valida intuizione topologica non si accompagna a veri esempi di spazi; in certi casi è possibile trovare un topos che formalizzi l'intuizione.
|
|