Home • Publications • Teaching • Events • Staff
Teaching - Tobias Fritz
Completed theses:
- Victor Bloch (2022, BSc mathematics): ongoing
- Andreas Klingler (2022, MSc mathematics): The Causal Compatibility Problem in Categorical Probability
- Wendong Liang (2021, research internship): Free CD Categories
- Lukas Willmann (2021, BSc physics): Über den Satz von Stone-von Neumann
Completed course projects:
- Hubert Bottesch: Describing Self-Similarity using Category Theory
- Markus Dannemüller: Monoidal Categories in Physics, Topology, and Logic
- Mirte van der Eyden: Enriched categories
- Georg Fischer and Hannah Gschwentner: Double Pushout Rewriting in Chemistry
- Andreas Klingler: Probability Monads
- Christina Kohl and Christina Schwaiger: Monads in Computer Science
- Andreas Mair and Martin Fuchs: Working with a computer proof assistant
- Tobias Reinhart and Sebastian Stengele: Lawvere's Theorem
Courses: