Cateogory theory and Homotopy type theory
Osnova sekce
-
First read Section 1, Categories, pages 1-28, from the book Category Theory by Steve Awodey. This will give a brief background and introduction to category theory from the mathematical point of view.
Then read the paper Category theory as the foundations of mathematics: Philosophical Excavations by J.-P. Marquis, Synthese.
Finally formulate your own position regarding the status of category theory as an alternative framework for mathematics.
Finally, read Voevodsky personal account of his motivations for creating the so called Homotopy type theory (look to Wiki for more information).