Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::IsUnitalMagma Concept Referenceexport
module dedekind.category

A Magma with a global Identity (0 or 1). More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsUnitalMagma = IsMagma<T, Op> && IsPointed<T, Op>
dedekind::category::IsMagma
T × T → T (The Base Total Species).
Definition total.cppm:527
dedekind::category::IsPointed
A type T has a chosen identity element under operation Op.
Definition total.cppm:424
dedekind::category::IsUnitalMagma
A Magma with a global Identity (0 or 1).
Definition total.cppm:538

Detailed Description

A Magma with a global Identity (0 or 1).