Back
Applied Category Theory Study Group
Longterm goals

explore & share relevant mathematical ideas and applications of category theory

diversify and enrich the overall knowledge & skill set of the local mathematical community

use the field of (applied) category theory to serve as a source of inspiration for future research and
applications of mathematics

become familiar with a formal theoretical framework for describing and quantifying how complex things can be
assembled out of simpler parts, especially gain new perspectives and build up an intuition, understand
conceptual models for dealing with structural complexity
Midterm goals

search for applications of category theory in pure and applied math, complement theoretical projects with
code
implementations in Julia

explore connections to data science

create an internal knowledge base for applied category theory
Shortterm goals
Useful resources for more information on this topic

Courses
 Literature

Research, interesting papers & applications

Compositionality, the openaccess journal for the
mathematics of composition

Applied Category Theory conference and an adjoint
school

The Topos Lab, research homepage of the Topos Institute

Backprop as Functor: A compositional perspective on
supervised learning by Brendan Fong, David I. Spivak, Rémy Tuyéras, 2019

David Spivak: Categorical Databases
(youtube), 2019

Categorical Data Structures for Technical Computing by Evan Patterson, Owen Lynch, James Fairbanks, 2021

Monotone codesign theory

Physics, Topology, Logic and Computation: A Rosetta Stone by John C. Baez, Mike Stay, 2009

Picturing
Quantum Processes
 Software
Participants in alphabetical order
 Samuel Belko
 Niklas Klingel
 Magnus Margenfeld
 Josef Ott