Game-Enriched Categories
Explore game-enriched categories as an enhanced approach to modeling programming languages, potentially offering greater flexibility in strategy definition.
Formalizing the ∞-Categorical Yoneda Lemma
Explore the first formalization of ∞-category theory's Yoneda lemma using Rzk, a new proof assistant for synthetic ∞-category theory, paving the way for advanced mathematical proofs.
Univalent Double Categories - Formalization and Applications in Category Theory
Explore univalent double categories in category theory, their formalization in Coq, and applications in mathematics and computer science.
A Homotopical Description of Deligne-Mumford Compactifications
Explore homotopical descriptions of Deligne-Mumford compactifications, their relation to GW invariants and Fukaya categories, and implications for symplectic cohomology.
The Cyclic Open-Closed Map, U-Connections and R-Matrices
Explore connections between Gromov-Witten invariants and Fukaya categories, focusing on the cyclic open-closed map, u-connections, and R-matrices. Delve into recent progress and potential extensions beyond semisimple cases.
Functoriality for Fukaya Categories of Very Affine Hypersurfaces
Explore functoriality in Fukaya categories of very affine hypersurfaces, examining acceleration and restriction functors, gluings of Liouville sectors, and connections to mirror symmetry.
Graphical Primitive Recursion for String Diagrams - PLanQC'24
Explore graphical primitive recursion for string diagrams, enabling recursive algorithms in ZX calculus. Learn to convert diagrams to code and execute them, with applications in quantum computing.
Triangulated Persistence Categories and Their K-Theory
Explore triangulated persistence categories, combining triangulated category theory and persistence modules. Learn about associated measurements, invariants, and K-theory, with examples from algebra and symplectic topology.
Efimov K-theory and Its Applications to Complex Geometry - Lecture 3
Explore Efimov's extended algebraic K-theory, its broader categorical context, and applications to complex geometry in collaboration with Peter Scholze.
K-Theory and Dualizable Categories
Explore K-theory and dualizable categories with Grigory Andreychev, delving into advanced mathematical concepts and their applications in theoretical physics.
Quantum Toric Geometry I
Explore quantum toric geometry, a generalization of classical toric geometry using quantum tori, allowing for irrational fans. Learn foundations and motivations behind this advanced mathematical concept.
An Introductory Mini Course into Quantum Toric Geometry Lecture I - Day 1
Explore quantum toric geometry, a non-commutative generalization of toric geometry. Learn about stacks, quantum tori, and quantum toric varieties, building on foundations of traditional toric geometry.
Crystal Bases for Quantum Superalgebras - Lecture 2
Explore crystal bases for quantum superalgebras, focusing on advanced representation theory concepts and their applications in mathematical physics.
Vortex Sheets and Groupoids in Ideal Hydrodynamics
Explore Arnold's group-theoretic approach to ideal hydrodynamics and its applications to vortex sheets, fluids with moving boundaries, and multiphase fluids using Lie groupoid symmetries.
State Sum Homotopy QFTs
Explore state sum homotopy quantum field theories with Alexis Virelizier, delving into advanced mathematical concepts and their applications in theoretical physics.
A Skein Theoretic Approach to CFT Correlators - Part 3
Explore advanced skein theoretic techniques for analyzing conformal field theory correlators in this in-depth mathematical physics lecture.
A Skein Theoretic Approach to CFT Correlators - Part 2
Explore skein theoretic approaches to CFT correlators in this advanced physics lecture, delving into mathematical techniques for analyzing quantum field theories.
Topological Symmetry and Duality in Quantum Lattice Models - Lecture 2
Explore topological symmetry and duality in quantum lattice models, focusing on finite symmetries and one-dimensional systems. Gain insights into Hamiltonian analysis, symmetry operators, and phase classifications.
Emergent Symmetry: Understanding Strongly Interacting Gapless States and Quantum Field Theory
Explore emergent symmetry in gapless states, using conservation laws and selection rules to understand anomalous and non-invertible symmetry, and their impact on low-energy properties.
Derived Skein Modules via Factorization Homology
Explore derived skein modules through factorization homology, delving into categorical symmetries in quantum field theory.
Cgifd Idempotent Completion, Topological Symmetries of QFTs, and Generalized Kramers-Wannier Duality
Explore advanced concepts in quantum field theory, including idempotent completion, topological symmetries, and generalized duality principles.