Difference between revisions of "Demo:Math"

From PKC
Jump to navigation Jump to search
(Created page with "The following shows an angled '''degree''' symbol: <math>\ang{90}^{\circ}</math> <math>P_{wave} = \frac{\rho g^2 h^2 T_e}{6400 \pi} </math> <math>\frac{\vec{X}_0}{P(\vec{X...")
 
 
(2 intermediate revisions by the same user not shown)
Line 14: Line 14:


A morphism <math>m:O \rightarrow X</math> is said to '''equalise''' <math>f</math> and <math>g</math> if <math>f \circ m = g \circ m</math>.
A morphism <math>m:O \rightarrow X</math> is said to '''equalise''' <math>f</math> and <math>g</math> if <math>f \circ m = g \circ m</math>.
=Math tag can show pictures=
<math>\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                }</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 }}