nLab
(hyperconnected, localic) factorization system

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

Revised on November 21, 2013 23:21:19 by Urs Schreiber (82.169.114.243)