The Kreisel Lawvere Debate on Categories and the Foundations of Mathematics
Комментарии отсутствуют
Информация о видео
Другие видео канала
On torsion in the cohomology of Shimura varieties
High Categories and Topology | Les catégories: une logique de l’apparaitre? (en Anglais)
Kathryn Hess Motivic homotopical Galois extensions EPFLHigher invariants Vortrag 14
Correspondance de Langlands et théorie de Caramello, par Laurent Lafforgue 1
La bifurcation de Vladimir Voevodsky
2.1 Stem field. Some irreducibility criteria
Morita Theory in Stable Homotopy Theory
Some Fundamental Groups in Arithmetic Geometry Hélène Esnault July 30, 2015 0
Three roles of quantum field theory part1
2 5 Extension of homomorphisms Uniqueness of algebraic closure
P-adic Hodge Theory and q-de rham Cohomology - Peter Scholze July 27, 2015
Pensée, diagramme, catégories
Duality in logic and physics
Ravi Vakil: Links between arithmetic and geometry: metaphor and motivation Lecture1
Ben Antieau Derived algebraic geometry I
3.4 Separable elements
Grothendieck ne cherchait pas tant à résoudre les problèmes qu'à les exprimer
Homotopy theory in mathematical modeling / Brauer groups in chromatic homotopy theory (Part 1)
operads grothendieck teichmüller groups lecture 1 symmetric and braided structures Benoit Fresse
The shape of planar algebraic curves defined over the reals, part I
Lambda calcul, logique et linguistique