Webpage of the Compositional Systems and Methods group at TalTech.

- Monday
**12:00-1:30PM** - Tuesday
**11:45-1:15PM**

Monday : ICT building **room A1**

Tuesday : ICT building **room 404** (not in the sense of "not found")

Let's meet in person, at the whiteboard; sometimes with cookies.

An introductory course on category theory and its applications in computer science, and more broadly, in science.

A few information about the course can be found at this address.

Good references for studying category theory are:

- Leinster "Basic Category Theory"
- Awodey "Category theory"
- Barr & Wells "Category Theory for Computing Science"
- Riehl "Category theory in context"
- Borceux "Handbook of categorical algebra", vol 1-3
- Mac Lane, "Categories for the working mathematician"

Because category theory = {cool stuff} ∩ {useful stuff}!

Jan 30

Jan 31; recording

Feb 6; recording

Feb 7; recording

Feb 13; recording

Feb 14; recording

Feb 20; recording

Feb 21; recording

Feb 27; recording

Feb 28; recording

Mar 6; recording

Mar 7; recording

First sheet of exercises PDF; due date **March 8 2023**

Victor Brauner, *Arche-chat*, 1948,

Herbert F. Johnson Museum of Art

(Cornell University), Ithaca, NY, US.