Difference between revisions of "Math equation demo"
Jump to navigation
Jump to search
Line 13: | Line 13: | ||
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>. |
Latest revision as of 09:01, 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 .