dedekind::sequences::IsNet Concept Reference

Concept definition

template<typename N>
concept dedekind::sequences::IsNet =  IsArrow<N> && IsDirectedSet<typename N::Domain>

Detailed Description

: A Morphism from a Directed Set.