Definition:Metagraph

From ProofWiki
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.


Also see