Categorification of Rule Algebras in Compositional Rewriting Systems
Explore a novel approach to formalizing operations in compositional rewriting systems, focusing on double categories and presheaf calculus for counting rewrite realizations.
Efimov K-theory and Its Applications to Complex Geometry - Lecture 2
Explore Efimov's extended algebraic K-theory, its broader categorical context, and applications to complex geometry in this advanced mathematics lecture.
Localizing Invariants and Algebraic K-theory - Lecture 3
Explore localizing invariants in algebraic K-theory, including Thomason's insights, descent properties, and recent developments in the field.
Localizing Invariants and Algebraic K-theory - Part 1
Explore localizing invariants in algebraic K-theory, from classical foundations to recent developments, with emphasis on descent properties and applications.
Holomorphic Floer Theory and Resurgence - Lecture 3
Explore holomorphic Floer theory and its connection to resurgence, examining the Riemann-Hilbert correspondence and its implications for perturbative expansions in mathematics and physics.
Commutative Diagrams in Lean - Demo
Explore commutative diagrams in Lean through a hands-on demonstration, learning practical applications and techniques for mathematical proofs and theorem verification.
Formalization of Infinity Category Theory
Explore ∞-category theory's formalization, unifying mathematics, computer science, and physics. Learn synthetic reasoning and the Yoneda Lemma in this advanced mathematical seminar.
From HoTT to HOTT - Exploring Homotopy Type Theory
Explore the evolution from Homotopy Type Theory (HoTT) to Higher-Order Type Theory (HOTT) in this insightful lecture by Michael Shulman.
Analytic Stacks - Lecture 12
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.
Analytic Stacks - New Foundations for Analytic Geometry - Lecture 11/24
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples.
Analytic Stacks - New Foundations for Analytic Geometry
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.
Analytic Stacks - New Foundations for Analytic Geometry
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples.
Analytic Stacks - Foundations for Analytic Geometry
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with Peter Scholze.
Motives and Super-Representation Theory: Principles and Case Studies
Découvrez les principes et études de cas des motifs et de la (super-)théorie des représentations, explorant la théorie de Galois motivique abstraite.
Analytic Stacks: New Foundations for Analytic Geometry - Lecture 24
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with Peter Scholze.
Analytic Stacks: New Foundations for Analytic Geometry
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples.
Motives and Ring Stacks
Explore advanced cohomology theories through ring stacks, examining their connection to 6-functor formalism and motivic theory. Gain insights into Tannaka duality and analytic geometry applications.
Analytic Stacks: New Foundations for Analytic Geometry - Lecture 22/24
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples.
Analytic Stacks - Lecture 21
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with Peter Scholze.
Analytic Stacks: New Foundations for Analytic Geometry
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples.
Analytic Stacks - Lecture 19
Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with Peter Scholze.