New posts in Topos Theory

2-natural operations on toposes

Left Kan extension along Yoneda of pullback-preserving functor preserving pullbacks

Example of non-"propositional" local operators on a topos?

Characterize constant objects in the internal language of a topos?

Precise relationship between elementary and Grothendieck toposes?

Brouwer's Theorem in the free topos?

Can the algebraic geometry of schemes be developed internally in topoi?

The philosophy behind local rings

Alternatives to "Sketches of an Elephant" Volume 3

Locales as geometric objects