(hyperconnected, localic) factorization system

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.

- Peter Johnstone,
*Factorization theorems for geometric morphisms*Cahiers, 22, no1 (1981) (numdam)

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