I plan to begin with an introduction to topoi, which are categories with a very rich structure. I’ll relate that structure to the weaker category-theoretic structures that were discussed in previous seminars, and I’ll explain how the extra structure of topoi connects them with richer logics. If time permits, I’ll indicate how topoi can be built from the syntactic side of these logics.