# The Stack Semantics * tic {: toc} ## Talks and papers At present this page is just a repository for links to (slides for) talks I have given, and (drafts of) papers I have written, about the stack semantics. Comments and questions are also welcomed below. ### Papers * [Stack semantics and the comparison of material and structural set theories](http://arxiv.org/abs/1004.3802) (arXiv version). This is the first in a sequence of papers developing the stack semantics; it gives the basic theory and uses it to compare material and structural set theories. ### Talks * [Unbounded quantifiers and strong axioms in topos theory](http://www.sandiego.edu/~shulman/papers/uqsatalk.pdf) (talk at Novemberfest '09). This is an introduction intended for category theorists who may not be very familiar with categorical logic. * [Unbounded quantifiers via 2-categorical logic](http://www.sandiego.edu/~shulman/papers/asl2010talk.pdf) (talk at the ASL Annual Meeting in March '10). This talk assumes some background with 1-categorical logic, and goes on to make the connection with 2-categorical logic. ## Discussion * [Blog](http://golem.ph.utexas.edu/category/2010/03/stack_semantics.html)