(hyperconnected, localic) factorization system

factorization system over a subcategory

k-ary factorization system, ternary factorization system

**factorization system in a 2-category**

**factorization system in an (∞,1)-category**

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.