Expand description
Paths in graphs and categories.
The central data type is Path, a path of arbitrary finite length. In
addition, this module provides data types for “short paths” and
path equations.
Structs§
- PathEq
- Assertion of an equation between the composites of two paths in a category.
Enums§
- Invalid
Path Eq - A failure of a path equation to be well defined in a graph.
- Path
- A path in a graph or category.
- Short
Path - A path of length at most one.
Type Aliases§
- Skel
Path - A path in a graph with skeletal vertex and edge sets.
- Skel
Short Path - A short path in a graph with skeletal vertex and edge sets.