Difference between revisions of "Morphism"
Jump to navigation
Jump to search
| Line 10: | Line 10: | ||
* [[Definition::Causal relation]] | * [[Definition::Causal relation]] | ||
* [[Definition::Terminal object]] | * [[Definition::Terminal object]] | ||
* [[Logically related::Function]] | |||
* [[Logically related::Functor]] | |||
* [[Logically related::Natural transformation]] | |||
</noinclude> | </noinclude> | ||
Latest revision as of 04:01, 5 September 2021
A morphism can be thought of as a function, a key-value pair, a causal relation, or a general refers to either function, functor, or natural transformation.
Type of Mathematical objects
In PKC, we consider morphism, like function, as a type of terminal object in the space of mathematical object types. We consider it to be the last object to be interpreted in terms of object types, because it is considered to be a universal component in mathematical expressions.