References

Documents utilisés

Mathématicien-e-s

• Olivia Caramello
  • Interview d'Olivia Caramello par Stéphane Dugowson et Anatole Khelif a l'IHES
  • Dualité de Gelfand et bases de Wallman, par Olivia Caramello
• Pierre Cartier
  • Un pays dont on ne connaîtrait que le nom (Grothendieck et les « motifs »)
• Alexandre Grothendieck
  • Introduction au langage fonctoriel (Alger, nov 1965)
  • Récoltes et semailles, en particulier le chapitre 2 "Promenade à travers une oeuvre" (1986)
• Bertrand Toen
  • Agora des savoirs - Bertrand Toen Hommage à Alexandre Grothendieck (2014)
• Claire Voisin
  • Géométrie algébrique Leçon inaugurale
• Vladimir Voïevodski
  • The equivalence axiom and univalent models of type theory (2010)
  • Univalent Foundations Project (2010)
  • Séminaire Bourbaki - 21/06/2014 - 4/4 - Thierry COQUAND : Théorie des types dépendants et axiome d'univalence

Autres