 |
|
| Spencer Breiner | |
| Carnegie Mellon University | |
| Department of Philosophy | |
| Doherty Hall 4301-A | |
| sbreiner[at]andrew.cmu.edu | |
| Advisor: Steve Awodey | |
I am a senior graduate student in the Department of Philosophy at Carnegie Mellon University, working towards a PhD in Logic, Computation and Methodology. My current research focuses on categorical logic, and its connections to algebraic geometry and model theory. I am currently applying for jobs, with the intention of graduating in Summer 2013.
In Fall 2012 I am teaching a course in Category Theory. You can find the webpage here.
| Some research links: |
A draft paper describing the framework of logical schemes, the topic of my thesis. |
|
| Another draft, with a more thorough discussion of the spectral space of the logical scheme construction. |
||
| A refactoring of the Makkai/Reyes proof of conceptual completeness for pretoposes. |
||
| You can also find a draft of my research statement here: |
||