Perché Voevodsky considerava le categorie "poset nella dimensione successiva" e i gruppoidi la corretta generalizzazione degli insiemi? Cerca di capire correttamente il codice prima di applicarlo al tuo lavoro.Se Leggi di più
Potrei essere stato io a trovare la definizione di compattezza (e di connessione)? Portiamo la migliore risposta che abbiamo scoperto online. Vogliamo che ti aiuti Leggi di più
