String-Net Methods for CFT Correlators
Erlernen Sie fortgeschrittene Techniken zur Berechnung von Korrelatoren in konformen Feldtheorien mithilfe von String-Net-Methoden.
Applications of Symmetries for Conformal Defects
Explore applications of symmetries for conformal defects in quantum field theory with expert insights from Stony Brook University.
Semantics I - Session Preview for POPL 2023
Explore key concepts in semantics, including type-based approaches, rewriting, game semantics, and category theory, with expert Ugo Dal Lago.
Free as in Monads - Understanding and Applying Free Monads - Lecture 44
Explore the Free monad concept through live coding, understanding its origins, applications, and powerful impact on software development. Learn how to derive and utilize this abstraction for solving complex problems.
Introduction to Recursion Schemes - YOW! 2018
Explore recursion schemes in functional programming with Amy Wong. Learn key concepts, applications, and benefits for writing more elegant and maintainable code.
Condensed Type Theory - Axioms and Applications
Explore condensed sets' topos and internal type theory, examining axioms, predicates, and their interactions. Learn about compact Hausdorff and overt discrete types, with applications in category theory.
The Expression Problem and Lenses - Functional Programming Concepts
Explore functional programming concepts like the Expression Problem and Lenses with Tony Morris. Learn advanced techniques to enhance code flexibility and maintainability.
Information Exchange in Distributed Blockchain Systems - Epidemic Model Approach
Explore architectural drivers, communication models, and distributed consensus in complex blockchain systems. Learn from real-world experiences in designing and implementing large-scale node networks.
Localizing Invariants of Large Categories: General Theory
Delve into advanced algebraic K-theory concepts, exploring dualizable stable categories, continuous K-theory applications, and their relationship with sheaf categories on Hausdorff spaces.
Higher Algebra and Koszul Duality - Talk 28
Delve into advanced mathematical concepts exploring higher algebra, operads, and Koszul duality, understanding the relationship between Lie algebras and commutative algebras in group theory.
Localizing Motives, Algebraic KK-Theory and Refined Negative Cyclic Homology
Delve into advanced algebraic geometry concepts exploring localizing motives, their rigidity properties, and applications in refined negative cyclic homology and topological cyclic homology.
Commutation of K-theory with Inverse Limits in Adic Spaces
Delve into advanced K-theory concepts, exploring nuclear modules, inverse limits, and Mittag-Leffler sequences in the context of adic spaces and condensed mathematics.
Overview of Restricted Geometric Langlands Theory
Delve into categorical formulations of geometric Langlands theory, exploring restricted local systems, their applications in arithmetic, and connections to automorphic forms through Frobenius traces.
Haskell Symposium 2024 - Session 3
Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.
Haskell Symposium 2024 - Session 3
Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.
Categories for the Working Hacker
Explore category theory's relevance to developers through Java, Haskell, and blockchain languages. Learn how categories model basic data types and their connection to logic and computing.
Category Theory - An Abstraction for Anything
Explore category theory's foundations, applications in programming, and powerful abstractions. Learn to recognize category-theoretical patterns and apply them to your projects.
Beyond Blockchain - Convergent Consensus
Explore a novel consensus algorithm inspired by CRDTs and category theory, offering efficient and scalable decentralized computation. Learn about Convergent Proof of Stake and its implementation using Convex Lisp.
Functional Programming Design Using Morphisms
Explore how category theory and functional programming concepts like morphisms and functors can enhance software design, with practical examples from real-world applications.
The 4 Rules of Simple Design in Functional Programming
Exploring how the 4 Rules of Simple Design apply to functional programming, with examples of how category theory concepts naturally emerge in code for better design.
It's All About Morphisms
Gentle introduction to Category Theory for OOP programmers exploring Functional Programming. Explains key concepts with diagrams, metaphors, and code examples in Java and Kotlin, comparing to classical OOP approach.