nLab factorization structure

Redirected from "factorization structure for sinks".
Factorization structures for sinks and cosinks

Factorization structures for sinks and cosinks

Idea

A factorization structure is a strengthening of an orthogonal factorization system which allows us to factor, not only single morphisms, but arbitrary sinks (or cosinks).

Definition

Let {e i:X iY} iI\{e_i \colon X_i \to Y\}_{i\in I} be a sink and m:ABm\colon A \to B a morphism in some category. We say that {e i}\{e_i\} is orthogonal to mm if for any sink {f i:X iA} iI\{f_i \colon X_i \to A\}_{i\in I} and morphism g:YBg\colon Y\to B such that mf i=ge im f_i = g e_i for all iIi\in I:

X i f i A e i m Y g B\array{X_i & \overset{f_i}{\to} & A\\ ^{e_i}\downarrow && \downarrow^m\\ Y & \underset{g}{\to} & B}

there exists a unique arrow h:YAh\colon Y\to A such that he i=f ih e_i = f_i for all ii and mh=gm h = g. Clearly, if |I|=1{|I|}=1 this reduces to the usual notion of orthogonality for morphisms.

Let (E,M)(E,M) be an (orthogonal) factorization system; we say it extends to a factorization structure for sinks if every sink {f i:X iY} iI\{f_i \colon X_i \to Y\}_{i\in I} can be factored as f i=me if_i = m e_i, where mMm\in M and the sink {e i:X iZ} iI\{e_i \colon X_i \to Z\}_{i\in I} is orthogonal to MM. Note there is no restriction on the sinks involved to be small.

Some authors write E\mathbf{E} for the collection of sinks orthogonal to MM, and say that (E,M)(\mathbf{E},M) is a factorization structure for sinks, or that the category CC is an “(E,M)(\mathbf{E},M)-category”. However, since E\mathbf{E} is uniquely determined by (E,M)(E,M), and EE is precisely the 1-ary sinks in E\mathbf{E}, there is little harm in saying that (E,M)(E,M) is a factorization structure for sinks.

The dual notion is a factorization structure for cosinks (“sources”).

On size and foundations

Observe that if CC is large, then the collection E\mathbf{E} contains proper classes as elements. Therefore, in some foundations such as ZF, it is not definable as a single thing. In NBG one may treat it as a “hyperclass” defined by a first-order formula, in the same way that one treats classes in ZF. If we use a Grothendieck universe to define smallness, of course, there is no problem.

Constructions

Many well-known factorization systems, and ways to construct factorization systems, extend to factorization structures for sinks and/or cosinks.

  • This theorem implies that if a category is M-complete for a class MM of morphisms which consists of monomorphisms and is closed under composition and pullback, then MM is the right class in a factorization structure for sinks.

  • If p:ABp\colon A\to B is a Grothendieck fibration, then factorization structures for sinks can be lifted from BB to AA. Dually, if pp is an opfibration, we can lift factorization structures for cosinks. For the “mismatched” types of lifting, we require more: pp must be a topological functor.

Examples

  • In Set, the factorization system (epi, mono) extends to both a factorization structure for sinks and one for cosinks. The epi-sinks are those that are jointly epimorphic, and the mono-sinks are those that are jointly monomorphic.

  • By lifting (epi,mono) to Top (or any other topological category over SetSet), we obtain two factorization structures for sinks: (jointly surjective, subspace inclusions) and (final topologies, injections). Dually, we have two factorization structures for cosinks: (surjections, initial topologies) and (quotient maps, jointly injective).

Properties

MM consists of monics

Recall that a factorization system (E,M)(E,M) is called proper if EEpiE\subseteq Epi and MMonoM\subseteq Mono. In the case of a factorization structure for sinks, the second of these is automatic.

Theorem

If (E,M)(E,M) is a factorization structure for sinks, then MM consists of monomorphisms.

Proof

Let m:ABm\colon A\to B be in MM, and suppose that mr=msm r = m s for some r,s:XAr,s\colon X\to A, but rsr\neq s. Consider the sink {mr:XB} fMor(C)\{m r: X \to B \}_{f\in Mor(C)} consisting of one copy of mrm r (=ms= m s) for each arrow of the ambient category CC, and factor this sink as an EE-sink {e f:XY} fMor(C)\{e_f\colon X \to Y\}_{f\in Mor(C)} followed by an MM-morphism n:YBn\colon Y\to B.

Now there are at least 2 |Mor(C)|2^{|Mor(C)|} different sinks {g f:XA} fMor(C)\{g_f\colon X \to A\}_{f\in Mor(C)} such that mg f=ne fm g_f = n e_f, since we may take each g fg_f to be either rr or ss. Therefore, by orthogonality, there are at least 2 |Mor(C)|2^{|Mor(C)|} different morphisms YAY\to A, a contradiction to Cantor's theorem, since there can be at most Mor(C)Mor(C).

This proof is of course quite reminiscent of Freyd’s theorem that any complete small category is a preorder. In fact, Freyd’s theorem is a consequence of this one (or at least of its proof). For given a complete small category, there is a factorization structure acting at least on small sinks, where MM is the class of all morphisms and EE the class of families of injections into coproducts. (Any complete small category is also cocomplete, by the adjoint functor theorem.) Therefore, all morphisms in a complete small category are monic, including the unique maps to the terminal object; hence the category is a preorder.

Since Freyd’s theorem can fail in constructive mathematics, we should expect the use of excluded middle to also be essential in proving the above property of factorization structures.

Created on September 10, 2011 at 18:28:16. See the history of this page for a list of all contributions to it.