diagonal morphism

{{for|the particular instance of the notion in algebraic geometry|diagonal embedding}}

File:Diagonal and co-diagonal.svg

In category theory, a branch of mathematics, for every object a in every category \mathcal{C} where the product a\times a exists, there exists the diagonal morphism{{harv|Carter|Crans|Elhamdadi|Saito|2008}}{{harv|Faith|1973}}{{harv|Popescu|Popescu|1979|loc=Exercise 7.2.}}{{harv|Diagonal in nlab}}{{harv|Laurent|2013}}{{harv|Masakatsu|1972|loc=Definition 4.}}

:\delta_a : a \rightarrow a \times a

satisfying

:\pi_k \circ \delta_a = \operatorname{id}_a for k \in \{ 1,2 \},

where \pi_k is the canonical projection morphism to the k-th component. The existence of this morphism is a consequence of the universal property that characterizes the product (up to isomorphism). The restriction to binary products here is for ease of notation; diagonal morphisms exist similarly for arbitrary products. The image of a diagonal morphism in the category of sets, as a subset of the Cartesian product, is a relation on the domain, namely equality.

For concrete categories, the diagonal morphism can be simply described by its action on elements x of the object a. Namely, \delta_a(x) = \langle x,x \rangle, the ordered pair formed from x. The reason for the name is that the image of such a diagonal morphism is diagonal (whenever it makes sense), for example the image of the diagonal morphism \mathbb{R} \rightarrow \mathbb{R}^2 on the real line is given by the line that is the graph of the equation y=x. The diagonal morphism into the infinite product X^\infty may provide an injection into the space of sequences valued in X; each element maps to the constant sequence at that element. However, most notions of sequence spaces have convergence restrictions that the image of the diagonal map will fail to satisfy.

The dual notion of a diagonal morphism is a co-diagonal morphism. For every object b in a category \mathcal{C} where the coproducts b \sqcup b exists, the co-diagonal{{R|Popescu1979}}{{R|Faith1973}}{{harv|co-Diagonal in nlab}}{{R|Laurent2013}}{{R|Masakatsu1972}} is the canonical morphism

:\delta_b \colon b \sqcup b \stackrel{[Id,Id]} \to b

satisfying

:\delta_b \circ \tau_l = \operatorname{id}_b for l \in \{ 1,2 \}.

where \tau_l is the injection morphism to the l-th component.

Let f : X \to Y be a morphism in a category \mathcal{C} with the pushout is an epimorphism if and only if the codiagonal is an isomorphism.{{harv|Muro|2016}}

See also

References

{{reflist}}

Bibliography

  • {{cite journal |doi=10.1093/philmat/4.3.209 |title=Structure in Mathematics and Logic: A Categorical Perspective |date=1996 |last1=Awodey |first1=s. |journal=Philosophia Mathematica |volume=4 |issue=3 |pages=209–237 }}
  • {{cite book |arxiv=quant-ph/0404040 |last1=Baez |first1=John C. |title=The Structural Foundations of Quantum Gravity |chapter=Quantum Quandaries: A Category-Theoretic Perspective |date=2004 |pages=240–265 |bibcode=2004quant.ph..4040B|doi=10.1093/acprof:oso/9780199269693.003.0008 |isbn=978-0-19-926969-3 }}
  • {{cite journal |arxiv=math/0607417 |url=http://tcms.org.ge/Journals/JHRS/xvolumes/2008/n1a2/v3n1a2.pdf |last1=Carter |first1=J. Scott |last2=Crans |first2=Alissa |last3=Elhamdadi |first3=Mohamed |last4=Saito |first4=Masahico |title=Cohomology of Categorical Self-Distributivity |date=2008 |bibcode=2006math......7417C|journal=Journal of Homotopy and Related Structures|volume=3|issue=1|pages=13–63 }}
  • {{cite book |doi=10.1007/978-3-642-80634-6_4 |chapter=Product and Coproduct |title=Algebra |date=1973 |last1=Faith |first1=Carl |pages=83–109 |isbn=978-3-642-80636-0|url={{Google books|vsfyCAAAQBAJ|page=100|plainurl=yes}} }}
  • {{cite book |last1=Kashiwara |first1=Msakia |last2=Schapira |first2=Pierre|doi=10.1007/3-540-27950-4_3 |chapter=Limits |title=Categories and Sheaves |series=Grundlehren der mathematischen Wissenschaften |date=2006 |volume=332 |pages=35–69 |isbn=978-3-540-27949-5|url={{Google books|K-SjOw_2gXwC|page=48|plainurl=yes}} }}
  • {{cite book |isbn=978-0-12-499250-4 |title=Theory of Categories |last1=Mitchell |first1=Barry |date=1965 |publisher=Academic Press|url={{Google books|hgJ3pTQSAd0C|page=26|plainurl=yes}} }}
  • {{cite journal |last1=Muro |first1=Fernando |title=Homotopy units in A-infinity algebras |journal=Trans. Amer. Math. Soc. |date=2016 |volume=368 |pages=2145-2184 |doi=10.1090/tran/6545|arxiv=1111.2723 }}
  • {{cite journal |last1=Masakatsu |first1=Uzawa |title=Some categorical properties of complex spaces Part II |journal=Bulletin of the Faculty of Education, Chiba University |date=1972 |volume=21 |pages=83-93 |url=https://opac.ll.chiba-u.jp/da/curator/900025755/KJ00004239811.pdf |issn=0577-6856}}
  • {{cite book |doi=10.1007/978-94-009-9550-5_1 |chapter=Categories and functors |title=Theory of categories |date=1979 |last1=Popescu |first1=Nicolae |last2=Popescu |first2=Liliana |pages=1–148 |isbn=978-94-009-9552-9|url={{Google books|YnHwCAAAQBAJ|page=48|plainurl=yes}} }}
  • {{cite journal |url=http://eudml.org/doc/273359 |title=Petit guide des catégories |journal=Publications du Département de Mathématiques (Lyon) |date=1964 |volume=1 |issue=1 |pages=1–18 |last1=Pupier |first1=R.|lang=fr }}