Hypergraph Rewriting as a Foundation for Diagrammatic Calculus

Offered By: Hausdorff Center for Mathematics via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore the power of diagrammatic and graphical reasoning in Category Theory and its application to various algebraic structures in this 33-minute lecture. Discover how hypergraph rewriting serves as a computational foundation for diagrammatic calculus, covering familiar concepts like monoid actions and exotic higher-arity structures such as semiheaps and Bhattacharya-Mesner algebras. Learn about the implementation of this approach as a Mathematica paclet, available in beta for hands-on experimentation.

Syllabus

Carlos Zapata-Carratala: Hypergraph Rewriting as a Foundation for Diagrammatic Calculus

Taught by

Hausdorff Center for Mathematics

Related Courses

Unleashing Algebraic Metaprogramming in Julia with Metatheory.jl
The Julia Programming Language via YouTube COSC250 - Functional and Reactive Programming
Independent Free as in Monads - Understanding and Applying Free Monads - Lecture 44
ChariotSolutions via YouTube Generalised Integrated Information Theories
Models of Consciousness Conferences via YouTube Reasoning About Conscious Experience With Axiomatic and Graphical Mathematics
Models of Consciousness Conferences via YouTube