<p>I am looking to apply to PhD programs in a few years, and the areas in which I would like to specialize could succinctly be expressed as topos theory and its component parts–Homological algebra//algebraic topology, and logic//proof theory//category theory. I find that I would be well-served to enter into a program which is highly representative of algebraic topology, and I have made the following, incomplete list:</p>
<p>The University of Chicago
Cornell University
Johns Hopkins University
UC-Berkeley
Harvard (Lurie’s book “Higher Topos Theory” has lead much of my undergrad research this year).</p>
<p>Any other suggestions? (I realize that these are generally “reach” schools. I am also looking at Dartmouth, Notre Dame, UCSD, Rice, and a few others).</p>
<p>Thank you!</p>