Week: Cateogory theory and Homotopy type theory | Historie moderni matematiky a logiky | DL 1

DL 1

Section outline

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).
- Select activity Awodey: Category theory
  
  Awodey: Category theory File
- Select activity Marquis: Category theory
  
  Marquis: Category theory File
- Select activity Voevodsky's personal account
  
  Voevodsky's personal account File