New posts in Topos Theory

Where to study $2$-category theory?

Verifying a Construction Satisfies the $\Omega$-axiom.

What is the relation between axiomatic set theory and logical quantifiers?

Understanding an example of a subobject classifier.

Applications of category theory and topoi/topos theory in reality

What fragment of ZFC do we need to prove Zorn's lemma?

Logic, geometry, and graph theory

Example of a small topos

Can one associate a "nice" topos to a von Neumann algebra?

What is a spectrum object in $\infty$-topoi?