Teaching

1. Category Theory

I am currently serving as a teaching associate for an NPTEL course on Category Theory. A link to the course is given here.

1. Set Theory and Logic

I have worked as a teaching associate for the Set Theory and Logic course at IISER Mohali in the Autumn semester 2023.

1. Modern Homotopy Theory

I have delivered a few lectures on an online series on Modern Homotopy Theory. Here I talk about abstract and concrete homotopy theories, in the form of abstract categorical language. This way one can prove that most of our known old mathematical theories are actually Homotopy theories inherently. To find more about it visit the webpage below.

2. ISLA 2022

Indian School for Logic and its Application, ISLA 2022 was an international summer school on Logic and Dualities, organized by IIT Kanpur in May 2022. I have delivered 3 introductory lectures on basic category theory with an introduction to the notion of categorical dualities. This was a wonderful experience to present before such a diverse audience, starting from Philosophy, logic, mathematics, and Topology to Computer science students from all over the globe. The details of the school can be found below.

3. GSG talk at IISER Mohali

I delivered a talk on Topology in Higher Category Theory in the GSG seminar at IISER Mohali, on October 17, 2022. In this talk, I talked about how topologically enriched categories can serve the purpose of models of (∞, 1)-categories. Find out more about my talk at IISER GSG website below.

4. Internal logic of Grothendieck toposes

This was a small course on Grothendieck toposes, offered at the Indian Institute of Science Education and Research Pune, in the summer of 2020. I introduced the notion of elementary toposes and gave a proof of the fact that Grothendieck toposes are elementary. Unfortunately, there is no record of the materials for the course.