dedekind::category::detail_natural::IsConstantFamily Concept Reference

A family with one component at every object: component(), the arrow its call returns wherever it is called. Commuting with each lifted arrow makes such a family natural; a family whose component depends on the object needs the square at both ends, which no certificate here states. More...

Concept definition

template<typename Α>
concept dedekind::category::detail_natural::IsConstantFamily =  requires(const Α& a) { a.component(); }

Detailed Description

A family with one component at every object: component(), the arrow its call returns wherever it is called. Commuting with each lifted arrow makes such a family natural; a family whose component depends on the object needs the square at both ends, which no certificate here states.