“The standard "foundation" for mathematics starts with sets and their elements. It is possible to start differently, by axiomatising not elements of sets but functions between sets. This can be done by using the language of categories and universal constructions.”
Saunders Mac Lane.
Research methodology: 2012-2013, fall semester
This is a course that has been given 42 times.
For information about this course in general (not just for this specific semester), visit its page:
Λ5. Research methodology.