Difference between revisions of "Morphism"
Jump to navigation
Jump to search
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
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]]. | 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. | |||
<noinclude> | <noinclude> | ||
| Line 7: | 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.