Introduction to Category Theory and its applications

When

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

First lecture: Jan 30, 2023

Where

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

How

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

Who

Fosco Loregian

What

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"

Why

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

A diary of lectures

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

Exercises

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.