Minicourse "An Introduction to Category Theory with Applications in Mathematics, Computer Science and Beyond" [3 ETCS Mat/01]

The language of category theory has proved to be the lingua franca of diverse subject areas including considerable parts of algebra, geometry, topology, mathematical logic, theoretical computer science and mathematical physics. The strength of category theory is that manifold phenomena can be seen together. As a basic example, category theory reveals a common origin to the commutativity of binary operations such as addition and multiplication of numbers; the cartesian product of sets, groups and spaces; and the pair type in programming. After a gentle introduction into the foundations of category theory, this course will be dedicated to contemporary applications. The course requires no particular prerequisites.

See below for the timetable. Here are the course's and the lecturer's web sites:

https://ct.quasicoherent.io/

https://www.ingo-blechschmidt.eu/

https://www.uni-augsburg.de/de/fakultaet/mntf/math/prof/alg/arbeitsgruppe/dr-ingo-blechschmidt/

Timetable:

15.30-19.30 Monday 14- 21 November in CA' VIGNAL 1 AULA B
17.30-19.30 Wednesday 16 - 23 November in CA' VIGNAL 1 AULA C
9.30-10.30 Thursday 10 - 17 - 24 Novembre in CA' VIGNAL 2 AULA H
12.30-13.30 Friday 11- 18 - 25 November in CA' VIGNAL 1 AULA C