Noncommutative geometry, the spectral standpoint
A Connes - arXiv preprint arXiv:1910.10407, 2019 - arxiv.org
We report on the following highlights from among the many discoveries made in
Noncommutative Geometry since year 2000: 1) The interplay of the geometry with the …
Noncommutative Geometry since year 2000: 1) The interplay of the geometry with the …
Cartesian closed varieties II: links to operator algebra
R Garner - arXiv preprint arXiv:2302.04403, 2023 - arxiv.org
This paper is the second in a series investigating cartesian closed varieties. In first of these,
we showed that every non-degenerate finitary cartesian variety is a variety of sets equipped …
we showed that every non-degenerate finitary cartesian variety is a variety of sets equipped …
[PDF][PDF] 1 Algebraic topology: Algebraic models for higher category theory
S Henry - normalesup.org
The first problem is that we do not know how to formalize large parts of classical
mathematics in homotopy type theory. One of the major obstruction here is that we do not …
mathematics in homotopy type theory. One of the major obstruction here is that we do not …
[PDF][PDF] Rapport sur les travaux e ectués et Programe de recherche
S Henry - 2018 - normalesup.org
En un sens la logique catégorique débute avec les travaux de W. Lawvere en 1964 ([33])
qui donnent une axiomatisation de la catégorie des ensembles (appelée ETCS pour …
qui donnent une axiomatisation de la catégorie des ensembles (appelée ETCS pour …
[PDF][PDF] Dossier de Candidature à un poste de maitre de conférence (Section 25)
S HENRY - 2017 - normalesup.org
Responsabilités personnelles: encadrement de séance d'exercices (3h30/semaines),
participation à la préparation et à l'organisation des examens. Responsable du cours: Marc …
participation à la préparation et à l'organisation des examens. Responsable du cours: Marc …