nLab A crash course in topos theory -- The big picture

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

This entry is to record the reference:

on, in this order, locale theory, topos theory, and (∞,1)-topos theory.

category: reference

Last revised on April 30, 2025 at 14:41:13. See the history of this page for a list of all contributions to it.