Reference. An informal introduction to topos theory [leinster-2010-informal]

@misc{leinster-2010-informal,
	doi = {10.48550/ARXIV.1012.5647},
	url = {https://arxiv.org/abs/1012.5647},
	author = {Leinster, Tom},
	keywords = {Category Theory (math.CT), Algebraic Geometry (math.AG), Logic (math.LO), FOS: Mathematics, FOS: Mathematics},
	title = {An informal introduction to topos theory},
	publisher = {arXiv},
	year = {2010},
	copyright = {arXiv.org perpetual, non-exclusive license}
}