New posts in Categorical Logic

Some reference for categorical logic?

Formalizations of the idea that something is a function of something else?

Does foundation/regularity have any categorical/structural consequences, in ZF?

Precise relationship between elementary and Grothendieck toposes?

Brouwer's Theorem in the free topos?

"Spatial (geometrical)" realization of Elementary topos?

Internal logic of the topos of simplicial sets

Is there a categorical proof of Gödel's incompleteness theorem?

What can be expressed in and proved with the internal logic of a topos?

What do coherent topoi have to do with completeness?