Applied Category Theory Munich Meetup

We meet once a month (usually every second Thursday of the month) and discuss a book chapter or paper on (applied?) category theory.

Past meetups

2025-04-10 Roy L. Crole, Categories for Types, Chapter 3: "Algebraic Type Theory".
2025-03-20 Sridhar Mahadevan, GAIA: Categorical Foundations of Generative AI, Section 2 and 3.
2025-02-27 David I. Spivak, The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits..
2025-01-16 Michael Lambert and Evan Patterson, Representing Knowledge and Querying Data using Double-Functorial Semantics.
2024-12-12 Bob Coecke and Aleks Kissinger, Picturing Quantum Processes, Chapter 5.
2024-11-14 Bob Coecke and Aleks Kissinger, Picturing Quantum Processes, Chapter 4.
2024-10-17 Bob Coecke, Kindergarten Quantum Mechanics
2024-09-25 Tom Leinster, An informal introduction to topos theory, 4.
2024-08-08 Tom Leinster, An informal introduction to topos theory, 3.
2024-07-11 Tom Leinster, An informal introduction to topos theory, 3.
2024-06-13 Tom Leinster, An informal introduction to topos theory, 1–2.
2024-05-16 Bart Jacobs, Introduction to Coalgebra, 3.2–3.3.
2024-04-18 Bart Jacobs, Introduction to Coalgebra, 3.1–3.2.
2024-03-21 F. William Lawvere, Diagonal arguments and cartesian closed categories
2024-02-22 F. William Lawvere, Diagonal arguments and cartesian closed categories
2024-01-11 Sean Tull, Johannes Kleiner, and Toby St Clere Smithe, Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energy
2023-12-14 Sean Tull, Johannes Kleiner, and Toby St Clere Smithe, Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energy
2023-11-09 Sean Tull, Johannes Kleiner, and Toby St Clere Smithe, Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energy
2023-10-12 Sean Tull, Johannes Kleiner, and Toby St Clere Smithe, Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energy
2023-09-14 Kuen-Bang Hou (Favonia) and Zhuyang Wang, Logarithm and Program Testing
2023-08-24 Ralf Hinze and Daniel W. H. James, Reason Isomorphically!
2023-07-25 Colin McLarty, The large structures of Grothendieck founded on finite order arithmetic
2023-07-06 Dylan Braithwaite, Jules Hedges, Toby St. Clere Smithe: The Compositional Structure of Bayesian Inference
2023-05-11 Bart Jacobs, Introduction to Coalgebra, 2.4–2.5
2023-04-13 Bart Jacobs, Introduction to Coalgebra, 2.2–2.4
2023-03-09 Bart Jacobs, Introduction to Coalgebra, 2.1–2.2
2023-02-16 Paolo Perrone, Markov Categories and Entropy, Chapters 1 and 2.
2023-01-19 Guillaume Boisseau and Jeremy Gibbons, What You Needa Know about Yoneda.
2022-12-15 Jade Master, How to Compose Shortest Paths.
2022-11-10 David Corfield, "Modal Homotopy Type Theory", Chapter 5: "Spatial Types"
2022-10-19 David Corfield, "Modal Homotopy Type Theory", Chapter 4: "Modal Types"
2022-09-08 David Corfield, "Modal Homotopy Type Theory", Chapter 4: "Modal Types"
2022-08-18 David Corfield, "Modal Homotopy Type Theory", Chapter 3: "Homotopy Types"
2022-07-14 David Corfield, "Modal Homotopy Type Theory", Chapter 3: "Homotopy Types"
2022-06-09 David Corfield, "Modal Homotopy Type Theory", Chapter 3: "Homotopy Types"
2022-05-12 David Corfield, "Modal Homotopy Type Theory", Chapter 2: "A Path to a New Logic", Chapter 3: "Homotopy Types"
2022-04-21 Special meetup to work on The HoTT Game.
2022-04-14 David Corfield, "Modal Homotopy Type Theory", Chapter 2: "A Path to a New Logic"
2022-03-17 David Corfield, "Modal Homotopy Type Theory", Chapter 1: "A Path to a New Logic"
2022-01-13 Tom Leinster, "Basic Category Theory", Chapter 6.3: "Interactions between adjoint functors and limits"
2021-12-09 Tom Leinster, "Basic Category Theory", Chapter 6.3: "Interactions between adjoint functors and limits"
2021-11-11 Tom Leinster, "Basic Category Theory", Chapter 6.2: "Limits and colimits of presheaves"
2021-10-14 Tom Leinster, "Basic Category Theory", Chapter 6.2: "Limits and colimits of presheaves"
2021-09-16 Tom Leinster, "Basic Category Theory", Chapter 6.2: "Limits and colimits of presheaves"
2021-08-19 Tom Leinster, "Basic Category Theory", Chapter 6.2: "Limits and colimits of presheaves"
2021-07-08 Tom Leinster, "Basic Category Theory", Chapter 6.1: "Limits in terms of representables and adjoints"
2021-06-17 Tom Leinster, "Basic Category Theory", Chapter 6.1: "Limits in terms of representables and adjoints"
2021-05-13 Tom Leinster, "Basic Category Theory", Chapter 5.2/5.3: "Colimits: definition and examples"/"Interactions between functors and limits"
2021-04-08 Tom Leinster, "Basic Category Theory", Chapter 5.1: "Limits: definitions and examples"
2021-03-11 Tom Leinster, "Basic Category Theory", Chapter 4.3: "Consequences of the Yoneda Lemma"
2021-02-11 Tom Leinster, "Basic Category Theory", Chapter 4.2: "The Yoneda Lemma"
2021-01-14 Tom Leinster, "Basic Category Theory", Chapter 4.1: "Representables"
2020-12-10 Tom Leinster, "Basic Category Theory", Chapter 3: "Interlude on Sets"
2020-11-12 Tom Leinster, "Basic Category Theory", Chapter 2: "Adjoints"
2020-10-15 Tom Leinster, "Basic Category Theory", Chapter 2: "Adjoints"
2020-08-20 Tom Leinster, "Basic Category Theory", Chapter 2: "Adjoints"
2020-07-16 Tom Leinster, "Basic Category Theory", Chapter 2: "Adjoints"
2020-06-18 Tom Leinster, "Basic Category Theory", Chapter 1.3: "Natural transformations"
2020-05-14 Tom Leinster, "Basic Category Theory", Chapter 1.1/1.2: "Categories", "Functors"
2020-04-23 Fong, Spivak, "Seven Sketches in Compositionality", Chapter 7, "Logic of behavior: Sheaves, toposes, and internal languages"
2020-04-16 Fong, Spivak, "Seven Sketches in Compositionality", Chapter 7, "Logic of behavior: Sheaves, toposes, and internal languages"
2020-03-12 Fong, Spivak, "Seven Sketches in Compositionality", Chapter 6, "Circuits: Hypergraph Categories and Operads"
2020-02-13 Fong, Spivak, "Seven Sketches in Compositionality", Chapter 5, "Signal Flow Graphs: Props, Presentations, and Proofs"
2020-01-16 Fong, Spivak, "Seven Sketches in Compositionality", Chapter 4, "Collaborative Design: Profunctors, Categorification, and Monoidal Categories"
2019-12-12 Fong, Spivak, "Seven Sketches in Compositionality", Chapter 3, "Databases: Categories, Functors, and Universal Constructions"
2019-11-14 Fong, Spivak, "Seven Sketches in Compositionality", Chapter 2, "Resource Theories: Monoidal Preorders and Enrichment"
2019-10-10 Fong, Spivak, "Seven Sketches in Compositionality", Chapter 1, "Generative Effects: Orders and Adjunctions"

About Applied Category Theory Munich

[…Applied Category Theory is] branching out into science, informatics, and industry. We believe that it has the potential to be a major cohesive force in the world, building rigorous bridges between disparate worlds, both theoretical and practical.
from the preface of "Seven Sketches in Compositionality: An Invitation to Applied Category Theory" by Brendan Fong and David I. Spivak.

We started this meetup in 2019 to go through the book together and meet once per month (every second Thursday) to discuss a chapter like in a book club.

The goal is to learn together in a welcoming and safe environment and profit from group discussions.

We plan to cover the whole book in approximately one semester, but we'd also love to get speakers presenting topics connected to applied category theory. So if you would like to present, please do reach out to us.

If you can and like to host a meetup, we would also be happy about that sort of support.

Mailing list

Please subscribe to our mailing list act-munich@fs.lmu.de if you want to discuss and get announcements.

More resources

Our Git repository contains many more resources related to category theory.