Synthetic topos theory

[004U] Status

The status of the document is under construction. A lot of claims are left as exercises to the author. The reader is also encouraged to solve exercises.