nLab (hyperconnected, localic) factorization system

Contents

Context

Factorization systems

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

Hyperconnected geometric morphisms are the left class of a 2-categorical orthogonal factorization system on the 2-category Topos of toposes; the right class is the class of localic geometric morphisms.

References

Last revised on November 21, 2013 at 23:21:19. See the history of this page for a list of all contributions to it.