nLab open problems in topos theory

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

This page is to eventually list open problems in topos theory.

For the moment see the problems listed at Lawvere 2009. Feel invited to add further problems here.

References

Created on September 10, 2025 at 18:12:13. See the history of this page for a list of all contributions to it.