Difference between revisions of "Math equation demo"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
The following shows | The following shows an angled '''degree''' symbol: <math>\ang{90}^{\circ}</math> | ||
In more explicit terms, the equaliser consists of an object ''E'' and a morphism ''eq'' : ''E'' → ''X'' satisfying <math>f \circ eq = g \circ eq</math>, | In more explicit terms, the equaliser consists of an object ''E'' and a morphism ''eq'' : ''E'' → ''X'' satisfying <math>f \circ eq = g \circ eq</math>, | ||
Revision as of 16:20, 28 June 2021
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 .
A morphism is said to equalise and if .[1]
- ↑ Barr, Michael; Wells, Charles (1998). Category theory for computing science (PDF). p. 266. Archived from the original (PDF) on 2016-03-04. Retrieved 2013-07-20. Unknown parameter
|url-status=ignored (help)