A type T has a chosen identity element under operation Op. More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsPointed =  requires {
  { unit_trait<T, Op>::value } -> std::convertible_to<T>;
}

Detailed Description

A type T has a chosen identity element under operation Op.

Replaces the missing HasIdentity for Level 0.1. The identity element is looked up via the unit_v trait registered in :species; IsPointed pins the existence claim at the concept level. Re-homed from :species to :total under #637 — this is universal-algebra content (chosen-element witness for a (T, Op) pair), conceptually adjacent to IsMagma / IsUnitalMagma / IsMonoid below, not species-level.