Cateogory theory
Osnova sekce
-
Category theory is sometimes proposed as an alternative foundational framework for mathematics. Read the following (you can download them below):
1] Read the introductory section from the book Category Theory by Steve Awoday to get some understanding of the basics of category theory.
2] Read the paper Categorical foundations of mathematics by J. P. Marquis in Review of Symbolic Logic (2013). This is a response to Feferman's paper (which is also included here for reference).
3] If you are interested, you can also read another Marquis's paper Category theory and the foundations of mathematics, Synthese (1995).
-