# Graph¶

A graph is a mathematical structure of nodes and edges, where each edge points to and from a node. They are used to represent relations between things, and are the focus of study for Graph theory.

## Backlinks¶

- Graphs can represent a category
- Categories are collections of objects and morphisms which are easily represented by nodes and edges respectively. While not every graph is a category, every category can be described as a graph. It's also true that any graph can be made into a category.

- Any graph can be made into a category
- Graphs can represent a category. It's possible to turn a graph that doesn't into a category by adding more edges. First, ensuring that each node has an identity morphism, then adding an edge for each pair of adjacent edges to satisfy the requirement for composition.