Sample HTML file: produced with lwarp, with mathematical formulae displayed with MathJax, and xymatrix commutative diagrams displayed with XyJax-v3

\(\newcommand{\footnotename}{footnote}\) \(\def \LWRfootnote {1}\) \(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\let \LWRorighspace \hspace \) \(\renewcommand {\hspace }{\ifstar \LWRorighspace \LWRorighspace }\) \(\newcommand {\TextOrMath }[2]{#2}\) \(\newcommand {\mathnormal }[1]{{#1}}\) \(\newcommand \ensuremath [1]{#1}\) \(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \) \(\newcommand {\setlength }[2]{}\) \(\newcommand {\addtolength }[2]{}\) \(\newcommand {\setcounter }[2]{}\) \(\newcommand {\addtocounter }[2]{}\) \(\newcommand {\arabic }[1]{}\) \(\newcommand {\number }[1]{}\) \(\newcommand {\noalign }[1]{\text {#1}\notag \\}\) \(\newcommand {\cline }[1]{}\) \(\newcommand {\directlua }[1]{\text {(directlua)}}\) \(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\) \(\newcommand {\protect }{}\) \(\def \LWRabsorbnumber #1 {}\) \(\def \LWRabsorbquotenumber "#1 {}\) \(\newcommand {\LWRabsorboption }[1][]{}\) \(\newcommand {\LWRabsorbtwooptions }[1][]{\LWRabsorboption }\) \(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\) \(\def \mathcode #1={\mathchar }\) \(\let \delcode \mathcode \) \(\let \delimiter \mathchar \) \(\def \oe {\unicode {x0153}}\) \(\def \OE {\unicode {x0152}}\) \(\def \ae {\unicode {x00E6}}\) \(\def \AE {\unicode {x00C6}}\) \(\def \aa {\unicode {x00E5}}\) \(\def \AA {\unicode {x00C5}}\) \(\def \o {\unicode {x00F8}}\) \(\def \O {\unicode {x00D8}}\) \(\def \l {\unicode {x0142}}\) \(\def \L {\unicode {x0141}}\) \(\def \ss {\unicode {x00DF}}\) \(\def \SS {\unicode {x1E9E}}\) \(\def \dag {\unicode {x2020}}\) \(\def \ddag {\unicode {x2021}}\) \(\def \P {\unicode {x00B6}}\) \(\def \copyright {\unicode {x00A9}}\) \(\def \pounds {\unicode {x00A3}}\) \(\let \LWRref \ref \) \(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\) \( \newcommand {\multicolumn }[3]{#3}\) \(\require {textcomp}\) \(\newcommand {\intertext }[1]{\text {#1}\notag \\}\) \(\let \Hat \hat \) \(\let \Check \check \) \(\let \Tilde \tilde \) \(\let \Acute \acute \) \(\let \Grave \grave \) \(\let \Dot \dot \) \(\let \Ddot \ddot \) \(\let \Breve \breve \) \(\let \Bar \bar \) \(\let \Vec \vec \) \(\newcommand {\C }{ \mathbb {C} }\) \(\newcommand {\Cc }{ \mathcal {C} }\) \(\newcommand {\Dc }{ \mathcal {D} }\) \( \newcommand {\Grp }{ \mathrm {Grp} } \) \(\newcommand {\Z }{ \mathbb {Z} }\) \(\newcommand {\ra }[1]{\xrightarrow {#1}}\) \(\DeclareMathOperator {\Sym }{Sym}\) \(\def \id {\mathrm {id}}\) \(\newcommand {\Q }{\mathbb {Q}}\) \(\renewcommand {\a }{{\alpha }}\) \(\renewcommand {\b }{{\beta }}\) \(\def \g {\gamma }\) \(\def \w {\omega }\) \(\def \e {\epsilon }\) \(\def \z {\zeta }\) \(\def \d {\partial }\) \(\newcommand {\tHpb }[3]{{\mathbf {\overline {2H}}^{#1}_{(#2,#3)}}}\) \(\newcommand {\Hpb }{\mathbf {\overline {H}}}\) \(\def \red {\textcolor {red}}\) \(\def \green {\textcolor {green}}\) \(\def \blue {\textcolor {blue}}\)

6 Sample mathematics

6.1 Adjoint functors and coadjoint functors via universal arrows

Let \(\Cc \) and \(\Dc \) be categories. Let \(G\colon \Dc \to \Cc \) be a functor.

  • Definition 1. Let \(A\) be an object of \(\Cc \). A universal arrow from \(A\) to \(G\colon \Dc \to \Cc \) is a pair:

    \[ \left (F_A, A \ra {\eta _A} G(F_A)\right ), \]

    where \(F_A\) is an object in \(\Dc \) and \(\eta _A\colon A \to G(F_A)\) is an arrow in \(\Cc \), such that the following universal property is satisfied:

    For any object of \(B\) of \(\Dc \) and any arrow \(f\colon A \to G(B)\), in \(\Cc \), there exists a unique arrow \(\hat {f}\colon F_A \to B\), in \(\Dc \), that makes the following diagram, in \(\Cc \), commute:

    \[\xymatrix {& A \ar [drr]_f\ar [rr]^{\eta _A} && G(F_A) \ar @{-->}[d]^{G(\hat {f})}\\ &&& G(B)} \]

  • Exercise 2. In the conditions of the previous definition, prove that if \(\left (F_A, A \ra {\eta _A} G(F_A)\right )\) is a universal arrow from \(A\) to \(G\), then we have a bijection:

    \[\phi _{A,B}\colon \hom _\Cc \big (A,G(B)\big ) \longrightarrow \hom _\Dc (F_A,B), \]

    such that

    \[ \big (f\colon A \to G(B)\big ) \stackrel {\phi _{(A,B)}}{\longmapsto } (\hat {f}\colon F_A \to B\big ).\]

    Moreover, prove that the bijection \(\phi _{A,B}\) is natural in \(B\). This means that given any arrow \(g\colon B \to C\), in \(\Dc \), the following diagram (in the category of sets) commutes:

    \[ \xymatrix { & \hom _\Cc (A,G(B)) \ar [d]_{m\mapsto G(g)\circ m } \ar [rrrr]^{\phi _{A,B}} &&&& \hom _\Dc (F_A,B) \ar [d]^{n\mapsto g\circ n } \\ & \hom _\Cc (A,G(C)) \ar [rrrr]_{\phi _{A,C}} &&&& \hom _\Dc (F_A,C)\\ } \]