A Categorical Approach to Statistical Mechanics
Explore statistical mechanics through a categorical lens, gaining insights into complex systems and thermodynamic principles.
A Practical Introduction to Category Theory
Explore the principles of Category Theory and its practical applications in solving common coding challenges, with real-world examples to simplify complex programming concepts.
Basic Category Theory - An Introduction to Mathematical Foundations
Explore fundamental concepts of Category Theory through clear explanations of composition, morphisms, and functors, with practical applications in functional programming.
Derived Categories of the Permutahedral Varieties
Delve into the geometric and combinatorial analysis of derived categories in toric varieties, exploring permutahedron's role in matroid theory through convex-geometric approaches.
Fast Deep Learning with Categories
Explore GPU-accelerated deep learning using Haskell, ConCat, and Accelerate for high-performance industrial applications.
Additive Cellular Automata Graded-Monadically
Explore cellular automata through graded comonadic and monadic perspectives, focusing on additive variants and their computational implications.
Compositional Development of Certified System Software
Explore compositional development of certified system software, focusing on CertiKOS project's approach to specifying, programming, and compiling large-scale heterogeneous systems.
Topological Defect Lines and TQFTs
Explore topological defect lines and TQFTs with Associate Professor Babak Haghighat, delving into string theory, quantum field theory, and topological field theory concepts.
Exploring Functional Programming with Scala Cats
Discover functional programming in Scala using Cats library. Learn key concepts and powerful abstractions to enhance your codebase and improve development efficiency.
Weighted Relational Models
Explore weighted relational models in differential λ-calculus and linear logic with Guy McCusker's insightful conference talk at CIRM.
Higher Gauge Theory
Explore advanced concepts in higher gauge theory, delving into mathematical physics principles and their applications in modern theoretical frameworks.
Rust's Trait System as a Proof Engine for ABI Generation
Explore advanced Rust trait system techniques to create stable ABIs, perform type-level computations, and influence type layouts using GATs and const generics.
From Quantum in Pictures to Quantum AI
Explore quantum computing's visual representation and its application to AI with Quantinuum's Chief Scientist in this insightful talk.
Category of Quantum L-infinity Algebras
Explore quantum L-infinity algebras and their categorical structure in this advanced mathematical physics seminar by Martin Zika.
Non-Supersymmetric Heterotic Branes, Bordisms, and 2D SCFTs
Explore non-supersymmetric heterotic branes, bordisms, and 2D SCFTs with K. Ohmori from the University of Tokyo in this advanced physics lecture.
Anomalies of 4D Spin_G Theories
Explore advanced concepts in quantum field theory, focusing on anomalies in 4d Spin_G theories with expert insights from UC San Diego's K. Intriligator.
Reflective Centers of Module Categories and Quantum K-matrices
Explore reflective centers of module categories and quantum K-matrices with insights from Rice University's C. Walton.
Categorical Symmetries and Generalized Charges in Quantum Field Theory
Explore categorical symmetries and generalized charges in quantum field theory with Oxford expert S. Schäfer-Nameki.
The Unitary Cobordism Hypothesis
Dive into advanced mathematical concepts exploring the unitary cobordism hypothesis, its geometric implications, and connections to physics in this theoretical seminar presentation.
Proof of the Geometric Langlands Conjecture
Delve into advanced mathematical concepts exploring the Geometric Langlands Conjecture, including de Rham, Betti, and l-adic contexts, presented by Dennis Gaitsgory with collaborative insights.
Motives of the Hitchin System
Delve into advanced algebraic geometry exploring the Hitchin system's topology, examining symmetries through algebraic cycles, Fourier-Mukai duality, and Springer theory applications.