# Definition:Metagraph

## Definition

A metagraph $\GG$ 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.