act-munich
Resource for the applied category theory Munich reading group
Current events and meeting of applied category theory munich: ACT Munich.
Table of contents
- Applied category theory Munich
Wikis
Books
- Brendan Fong & David Spivak: Seven Sketches in Compositionality: An Invitation to Applied Category Theory
- Bartosz Milewski: Category Theory for Programmers
- Tai-Danae Bradley: What is Applied Category Theory?
- Tom Leinster: Basic Category Theory, exercises
- Martin Brandenburg: Einführung in die Kategorientheorie
- D.E. Rydeheard & R.M. Burstall: Computational Category theory
- Paolo Perrone: Notes on Category Theory with examples from basic mathematics
- Steve Awodey: Category Theory
- Bill Lawvere & Stephen Schanuel: Conceptual Mathematics: A First Introduction to Categories
- Emily Riehl: Category Theory in Context
- Saunders MacLane and Ieke Moerdijk: Sheaves in Geometry and Logic
- Roger Hindley and Jonathan Seldin: Lambda-Calculus and Combinators, an Introduction
- Bodo Pareigis: Categories and Functors
- D.E. Rydeheard, R.M. Burstall Computational Category Theory
- Jiri Adámek, Horst Herrlich, George E. Strecker: Abstract and Concrete Categories The Joy of Cats
Lectures
- David Spivak and Brendan Fong: Applied Category Theory
- Brendan Fong, Bartosz Milewski, and David Spivak: 18.S097: Programming with Categories, lecture notes
- John Baez: The Azimuth Project, Applied Category Theory Course
- CS 353: Algebraic Logic - Chapter 4: Category theory
- Aleks Kissinger and John van de Wetering: Quantum Processes and Computation
- Bodo Pareigis: Category theory
- Steve Awodey: Category Theory Foundations, Oregon Programming Languages Summer School 2012
- Richard E. Borcherds: Commutative algebra
- Thomas Timmermann: Vorlesung “Kategorientheorie”
- Thomas Streicher: Introduction to Category Theory and Categorical Logic
Functional programming
- Prof. Giesl: Funktionale Programmierung
Talks
- Gabriel Gonzales: Data science APIs in Haskell - λC Winter Retreat 2017
Papers
- Lahtinen and Stenvall: Towards a unified framework for decomposability of processes
- Hinze and James: Reason Isomorphically!
- Chris Henderson: Generalized Abastract Nonsense: Category Theory and Adjunctions
- William Lawvere: Adjointness in foundations
- Eilenberg and MacLane: General Theory of Natural Equivalences
- Richard Blute and Philip Scott: Category Theory for Linear Logicians
- John C. Baez and Aaron Lauda: A Prehistory of n-Categorical Physics
- Clarke et al.: Profunctor optics, a categorical update
- Stanford Encycolpedia of Philosophy - Category Theory
Tools and Software
- Yichuan Shen tickz editor
- Catlab.jl is an experimental framework for applied category theory, written in Julia
- homotopy.io, a web-based proof assistant for finitely-presented globular n-categories, for arbitrary n
- https://edit.statebox.cloud/
- statebox idris-ct
- DisCoPy, a tool box for computing with monoidal categories
- quiver: a modern commutative diagram editor
- Algebraic Julia
Reading groups
- Maryland Applied Category Theory Group
- NYC Category Theory
- SF Types, Theorems, and Programming Languages
Podcasts
- The Search Space, a podcast on Logic Programming
Other resources
- Statebox - Awesome Applied Category Theory
- Steven Shaw - Programming Language Theory
- Prathyush - Category Theory Resources
- Munich Center for Mathematical Philosophy - Category Theory in Philosophy of Science
- Knowledge Management Research Group