nLab effective 2-topos

Redirected from "fracture diagram".

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Constructivism, Realizability, Computability

Contents

Idea

A 2-topos version of the effective topos.

References

A candidate for a 2-topos version of the effective topos:

Created on April 7, 2025 at 23:18:15. See the history of this page for a list of all contributions to it.