Difference between revisions of "Demo:Math"
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>\ | & X \times_Z Y \ar[d]^q \ar[r]_p & X \ar[d]_f \\ | ||
& Y \ar[r]^g & Z }</math> | |||
\ | |||
\ | |||
\ | |||
</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 : E → X satisfying , and such that, given any object O and morphism m : O → X, if , then there exists a unique morphism u : O → E 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 }}