Part
semagrams.acsets.Part
A part is a path through a nested acset. If you visualize a nested acset as a tree, where each node is an acset and its children are all of its subacsets, then a part tells at each level which subacset to choose.
The empty path refers to the root acset.
Attributes
- Todo:
We should have "relative" parts and "absolute" parts, just like in a filesystem there are relative and absolute paths. I think that currently
Part
is used for both notions, which is very confusing.- Graph
- Supertypes