Definition:Metagraph
(Redirected from Definition:Arrow (Category Theory))
Jump to navigation
Jump to search
Definition
A metagraph $\mathcal G$ consists of:
These are subjected to the following two axioms:
\((1)\) | $:$ | Domains | Every morphism $f$ has associated an object $\operatorname{dom} f$, called the domain of $f$ | |||||
\((2)\) | $:$ | Codomains | Every morphism $f$ has associated an object $\operatorname{cod} f$, called the codomain of $f$ |
A metagraph is purely axiomatic, and does not use set theory.
For example, the objects are not "elements of the set of objects", because these axioms are (without further interpretation) unfounded in set theory.
Also known as
The objects of a metagraph are also called vertices or nodes.
The morphisms of a metagraph are also called edges or arrows.
The domain of a morphism is also called its origin or source.
The codomain of a morphism is also called its destination or target.