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
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

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

Similar Discussions: Learning Categorical Foundations
  1. Learn aerodynamics? (Replies: 6)