Expand description
Graphs, finite and infinite.
Graphs are the fundamental combinatorial structure in category theory and a basic building block for higher dimensional categories. We thus aim to provide a flexible set of traits and structs for graphs as they are used in category theory.
Structs§
- Columnar
Graph Mapping - A graph mapping backed by columns.
- Graph
Morphism - A homomorphism between graphs defined by a mapping.
- Hash
Graph - A finite graph with indexed source and target maps, based on hash maps.
- Skel
Graph - A skeletal finite graph with indexed source and target maps.
Enums§
- Graph
Elem - An element in a graph.
- Invalid
Graph Data - An invalid assignment in a graph defined explicitly by data.
- Invalid
Graph Morphism - A failure of a mapping between graphs to define a graph homomorphism.
Traits§
- Columnar
Graph - A graph backed by sets and mappings.
- FinGraph
- A graph with finitely many vertices and edges.
- Finite
Columnar Graph - A finite graph backed by columns.
- Graph
- A graph.
- Graph
Mapping - A mapping between graphs.
- MutColumnar
Graph - A columnar graph with mutable columns.
Type Aliases§
- Ustr
Graph - A finite graph with vertices and edges of type
Ustr.