Structures · Combinatorics
Quiver.Arborescence
A quiver is an arborescence when there is a unique path from the default vertex to every other vertex.
- Shape
- One type argument · adds root, uniquePath
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- WideSubquiver.toType
How is a type an instance?
Loading the hierarchy index…
Assumed by15
- IsFreeGroupoid.SpanningTree.homOfPath
- IsFreeGroupoid.SpanningTree.treeHom
- IsFreeGroupoid.SpanningTree.loopOfHom
- Quiver.root
- IsFreeGroupoid.SpanningTree.functorOfMonoidHom
- IsFreeGroupoid.SpanningTree.treeHom_eq
- IsFreeGroupoid.SpanningTree.treeHom_root
- IsFreeGroupoid.SpanningTree.loopOfHom_eq_id
- IsFreeGroupoid.SpanningTree.endIsFree
- Quiver.instUniquePathRoot
- IsFreeGroupoid.SpanningTree.homOfPath.eq_def
- IsFreeGroupoid.SpanningTree.functorOfMonoidHom_obj
- IsFreeGroupoid.SpanningTree.functorOfMonoidHom_map
- Quiver.Arborescence.root
- Quiver.Arborescence.uniquePath
Ancestors0
No ancestors.