An informal introduction to topos theory
Category Theory
2011-06-29 v3 Algebraic Geometry
Logic
Abstract
This short expository text is for readers who are confident in basic category theory but know little or nothing about toposes. It is based on some impromptu talks given to a small group of category theorists.
Cite
@article{arxiv.1012.5647,
title = {An informal introduction to topos theory},
author = {Tom Leinster},
journal= {arXiv preprint arXiv:1012.5647},
year = {2011}
}
Comments
27 pages. Version 3: expanded section on set theory; other minor edits