(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)

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