Morphisms: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
we're using category theory definitions here, but where the term is used elsewhere, i'll try to note that. | a [https://en.wikipedia.org/wiki/Morphism morphism] is a structured, composable mapping. we're using category theory definitions here, but where the term is used elsewhere, i'll try to note that. | ||
* morphism: a structure-preserving relationship | * morphism: a structure-preserving relationship | ||
** operating on a source and target (often called domain and codomain) | ** operating on a source and target (often called domain and codomain) | ||
** with the partial binary composition operator represented by ∘ | ** with the partial binary composition operator represented by ∘ | ||
*** this operator is associative and respects identity | *** this operator is associative, and respects identity | ||
** a category is made up of the class of objects (often sets) and class of morphisms (often functions). | ** a category is made up of the class of objects (often sets) and class of morphisms (often functions). | ||
* anamorphism | * anamorphism | ||