Side panel
English (en)
English (United States) (en_us)
हिंदी (hi)
You are currently using guest access (
Log in
)
Skip to main content
MTH432 Introduction to Category Theory
Home
Courses
ARCHIVE
SESSION 2022-23 MONSOON SEMESTER
MATHEMATICS
MTH432(2022-23)
General
Categories for the Working Mathematician
Categories for the Working Mathematician
a copy of the GTM Book by MacLane
Click
http://www.mtm.ufsc.br/~ebatista/2016-2/maclanecat.pdf
link to open resource.
◄ Basic Category Theory
Jump to...
Jump to...
Announcements
Should I take this course?
Logistics
Find your own resources! (Assignment 1)
Project ideas
Wikipedia on Category Theory
Basic Category Theory
Category Theory for Computing Science
Category Theory for the Sciences
Category Theory for Philosophers
An Introduction to Category Theory by Harold Simmons
Category Theory in Context by Emily Reihl
Notes on Category Theory with examples from basic mathematics by Paolo Perrone
nCatLab on Category Theory
Video of Talk by Richard Borcherds
Notes on Category Theory by George Torres
An Intro to the Language of Category Theory by Steven Roman
YouTube playlist of lectures on Category Theory by Bartosz Milewski :
Sets for Mathematics by Lawvere and Rosenberg
Discussion Forum for Basic Definitions
Basic notions
Equivalences
Small Categories
Solutions to Quiz 1
Solutions to Quiz 2
Discussion Forum for Adjoints and Monads
Basics of Adjoint functors and examples
Monads and an important example
Powerset Monad and Bounded Lattices
The Monad for Groups
Solutions to Quiz 3
Discussion Forum for Generalised Elements
Yoneda Lemma and Generalised Elements
Monic and Epic morphisms
Solutions to Quiz 5
Diagrams, Products and co-products
Products/Co-products as Universal objects
Interpretation in terms of representable functors
Solutions to Quiz 6
Solution to Quiz 7 (Q1 in 2nd Mid-Sem)
Solutions to Quiz 8 (Q2 in 2nd Mid-Sem)
Notes on Adjoint Functor Theorems
"Enhance"
Kevin Buzzard's notes
Solution to Quiz 9
Solutions to Quiz 10
Solutions to Quiz 11
Solutions to End-Semester Examination
Category Theory for Computing Science ►
Home
Calendar
Course sections