Difference between revisions of "Demo:Math"

From PKC
Jump to navigation Jump to search
 
(One intermediate revision by the same user not shown)
Line 17: Line 17:


=Math tag can show pictures=
=Math tag can show pictures=
 
<math>\xymatrix{U \ar@/_/[ddr]_y \ar@/^/[drr]^x \ar@{.>}[dr]|-{(x,y)}            \\
<math>\setlength{\unitlength}{1cm}
& X \times_Z Y \ar[d]^q \ar[r]_p & X \ar[d]_f      \\
\begin{picture}(4,2)
& Y \ar[r]^g  & Z                }</math>
\put(1,1){\circle{3}}
\put(3,1){\circle*{5}}
\end{picture}
</math>

Latest revision as of 09:05, 10 January 2022

The following shows an angled degree symbol:




In more explicit terms, the equaliser consists of an object E and a morphism eq : EX satisfying , and such that, given any object O and morphism m : OX, if , then there exists a unique morphism u : OE such that .


The following equation shows how to use square root:


A morphism is said to equalise and if .


Math tag can show pictures

Failed to parse (unknown function "\xymatrix"): {\displaystyle \xymatrix{U \ar@/_/[ddr]_y \ar@/^/[drr]^x \ar@{.>}[dr]|-{(x,y)} \\ & X \times_Z Y \ar[d]^q \ar[r]_p & X \ar[d]_f \\ & Y \ar[r]^g & Z }}