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.
A graph must be cyclic to describe a category due to the requirement for identity morphisms.
References¶
Backlinks¶
- 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.