1.4. Coflat Maps  Definition 1.4.1. (a) A map f: Y ® X is called precoflat if the pullback of any epi to X along f is epic.  (b) A map f: Y ® X is called coflat if the pullback of f along any map to X is precoflat.  Equivalently, a map f: Y ® X is coflat if the pullback functor A/X ® A/Y along f preserves epis.  Proposition 1.4.2.  (a) Coflat maps are stable, i.e. the pullback of a coflat map is coflat.  (b) Composite of coflat maps are coflat.  (c) Finite products of coflat maps are coflat.  (d) A finite sum of maps is coflat iff each factor is coflat.  Proof. (a) and (b) are immediate.  (c) Let f1: Y1 ® X1 and f2: Y2 ® X2 be two coflat maps. Consider the following pullback: Since f1: Y1 ® X1 and f2: Y2 ® X2 are coflat and the pullbacks of coflat maps are coflat, Y1 × X2 ® X1 × X2 and X1 × Y2 ® X1 × X2 are coflat. It follows that the cartisian diagram consists of coflat maps. Thus (f1 × f2): Y1 × Y2 ® X1 × X2 is coflat by (b).  (d) Consider two maps u1: X1 ® T1 and u2: X2 ® T2 . If u1 + u2 is coflat, then u1 and u2 are coflat by (a) because they are pullbacks of u1 + u2 by (1.3.4.b). Conversely assume u1 and u2 are coflat. Any map from g to T1 + T2 has the form g = v1 + v2: Y1 + Y2 ® T1 + T2 for two maps v1: Y1 ® T1 and v2: Y2 ® T2. Then by (1.3.4.a) the pullback s of g along u1 + u2 is the sum of X1 × T1 Y1 ® X1 and X2 × T2 Y2 ® X2 . If g is epic then v1 and v2 are epic by (1.3.7), thus X1 × T1 Y1 ® X1 and X2 × T2 Y2 ® X2 are epic because u1 and u2 are coflat. It follows that s is epic by (1.3.7). This shows that u1 + u2 is precoflat. Next the pullback t of u1 + u2 along g is the sum of the coflat map X1 × T1 Y1 ® Y1 and the coflat map X2 × T2 Y2 ® Y2. Thus t is also precoflat. It follows that u1 + u2 is coflat. n  Proposition 1.4.3. (a) Suppose f: Y ® X is a mono and g: Z ® Y is a map. Then g is coflat if f°g is coflat.  (b) For any object X, the codiagonal map ÑX: X + X ® X is coflat.  (c) Suppose {fi: Yi ® X} is a finite family of coflat maps. Then f = å (fi): Y = å Yi ® X is coflat.  Proof. (a) If f°g is coflat then g is coflat as it is the pullback of f°g along f.  (b) The pullback of ÑX: X + X ® X along a map Z ® X is the map ÑZ: Z + Z ® Z . Therefore in order to show that ÑX is coflat it suffices to prove that ÑX is precoflat. Assume f: Y ® X is an epi. Then the pullback of f along ÑX is f + f: Y + Y ® X + X, which is an epi by (1.3.7).  (c) For any pair of coflat maps f: Y ® X and g: Z ® X the induced map (f, g): Y + Z ® X is the composite of the coflat maps f + g: Y + Z ® X + X and ÑX: X + X ® X by (b) and (1.4.2.d). Thus (f, g) is coflat. This result extends immediately to a map of the form f = å(fi): Y = å Yi ® X. n  Recall that a map in a category is a bimorphism if it is both epic and monic.  Proposition 1.4.4. (a) Coflat monos are stable.  {b} Composites of coflat monos (bimorphisms) are coflat monos (bimorphisms).  (c) Finite intersections of coflat monos (bimorphisms) are coflat mono (bimorphisms).  (d) A finite sum of monos (bimorphisms) is a coflat mono (bimorphisms) iff each factor is a coflat mono (bimorphisms).  (e) Suppose f: Y ® X is a coflat bimorphisms. If g: Z ® Y is a map such that f°g is an epi, then g is an epi.  (f) Suppose f: Y ® X is a coflat mono (bimorphisms) and g: Z ® Y is any map. Then g is a coflat mono (bimorphisms) iff f°g is a coflat mono (bimorphisms).  Proof. (a) - (d) follows from (1.4.2), (1.3.7) and (1.3.8).  (e) Since f is a mono and f°g factors through f, (g, 1Z) is the pullback of (f, f°g). If f°g is an epi then g is an epi as f is coflat by assumption.  (f) follows from (e) and (1.4.3.a). n  Proposition 1.4.5. Injections of a sum are coflat monos.  Proof. The injection X ® X + Y is the sum of the coflat mono 1X: X ® X and the coflat mono 0 ® Y . Thus by (1.4.4.d) it is coflat. n       [Next Section][Content][References][Notations][Home]
[Image_Link]http://count.jinko.com/cgi-stat/zhluo.cgi?R &sec1-4&