1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Learning Categorical Foundations

  1. Nov 14, 2009 #1
    I am wondering what resources are most helpful in learning the progress made by category and topos theorists in creating a "new" foundation for mathematics. So far I have:

    Categories for the Working Mathematician
    Topoi by Goldblatt
    First-Order Categorical Logic by Makkai
    An Introduction to Higher-Order Categorical Logic by Lambek

    After learning from these books, where would I go to learn about the mathematical applications and framework supplied by topos theory?

    Uh-oh... This should be in General Math, not General Physics. Can someone move it?
    Last edited: Nov 14, 2009
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted