Difference between revisions of "Morphism"
Jump to navigation
Jump to search
| 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> | ||
Revision as of 07:49, 9 August 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.