Category Theory
To join this course, write to the course instructor, Dr. Amit Kuber
Category theory is an alternative foundation for mathematics and computer science--the usual one being set theory. If taught without examples the course could be very abstract, so we will include lots of examples from areas in which you are interested in. I plan to cover the basic terminology like categories, functors, natural transformations, equivalence of categories, adjoint functors and limits. Then I can direct you to the material using which you can apply category theory to your work. Although there are no formal prerequisites for the course some mathematical maturity is necessary to get an idea of the origins of different concepts in category theory.
Since I finished teaching this course in the last semester the lecture notes for that course are available at the link below:
https://drive.google.com/open?id=1a6doJkxtg5YGXA14tR1i92qhR-B0aIER
Given the mixed background of the participants I do not plan to follow that course linearly but I will tone it down considerably.
Expect that we will continue for over an hour. The sessions will be interactive and I would like to assign some homework for each week. Below are some reference texts but feel free to refer to others not listed here.
Categories for the working mathematician: Saunders MacLane
An introduction to category theory: Harold Simmons
Abstract and concrete categories: The joy of cats by Adamek, Herrlich, Strecker
