Webpage of the Compositional Systems and Methods group at TalTech.
Monday : ICT building room A1
Friday : ICT building probably the coffee room in kybi
We meet in person, we are sick of the pandemic.
Pawel Sobociński
Fosco Loregian
An introductory course on category theory and its applications.
Good references for studying category theory are:
Riehl "Category theory in context" |
---|
Leinster "Basic Category Theory" |
Borceux "Handbook of categorical algebra", vol 1-3 |
Mac Lane, "Categories for the working mathematician" |
Awodey "Category theory" |
Barr & Wells "Category Theory for Computing Science" |
If your plan is to end this course knowing strictly more than the teachers, the (delightful) "Practical Foundations of Mathematics" by Paul Taylor follows a philosophy very similar to the one we're taking. This similarity wasn't engineered on purpose.
Chapter I is a swift introduction to the foundation of Mathematics; Chapter II is a crash course on "set theory", where both the word "set" and the word "theory" acquire a better meaning than in other books. Chapter III deals with order structures, but it's constantly, and not so secretly, talking about category theory.
Because category theory = {cool stuff} ∩ {useful stuff}!
On posets | PDF
On monoids | PDF
here a HIGHLY UNSTABLE draft
Victor Brauner, Arche-chat, 1948, Herbert F. Johnson Museum of Art (Cornell University), Ithaca, NY, US.