Expand description
Paths in graphs and categories.
The central data type is Path. In addition, this module provides a simple
data type for 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.
Type Aliases§
- Skel
Path - A path in a graph with skeletal vertex and edge sets.