Seminar Category Theory
Summer semester 2022
In this seminar we will mainly study the book of David Spivak and Brendan Fong:
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
List of talks
| Speaker | Title | Date |
|---|---|---|
| Dinah Tecle | Generative effects: Orders and adjunctions | Wednesday, 11.05, 08:15-09:45 |
| Marvin Arnold | Generative effects: Orders and adjunctions | Friday, 13.05, 14:00-15:30 |
| Ties Ohst | Resources: Monoidal preorders and enrichment | Friday, 20.05, 14:00-15:30 |
| Dustin Busch | Databases: Categories, functors, and (co)limits | Friday, 27.05, 14:00-15:30 |
| Lukas Fischbach | Databases: Categories, functors, and (co)limits | Friday, 03.06, 14:00-15:30 |
| Jan Friedrichs | Signal flow graphs: Props, presentations, & proofs | Friday, 10.06, 14:00-15:30 |
| Tom Kuhmichel | Logic of behavior: Sheaves, toposes, languages | Friday, 17.06, 14:00-15:30 |
| Chau Nnguyen | Markov categories | Friday, 24.06, 14:00-15:30 |
| Jonathan Steinberg | Axioms for the category of Hilbert spaces | Friday, 01.07, 14:00-15:30 |
| Fabian Zickgraf | CompilerForCAP: Building and compiling towers of categories | Friday, 08.07, 14:00-15:30 |