Loading AI tools
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.
Una rapida definizione formale di topos elementare può essere data facendo riferimento alla struttura di limiti e a quella monoidale cartesiana della categoria, unitamente all'esistenza di un classificatore di sottoggetti. Si dice topos elementare una categoria che:
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.
Controllo di autorità | LCCN (EN) sh85136094 · GND (DE) 4185717-3 · BNF (FR) cb11969142g (data) · J9U (EN, HE) 987007541465105171 |
---|
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.