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

A UnitalMagma with Inverses (-x). More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsLoop = IsUnitalMagma<T, Op> && IsInvertible<T, Op>
dedekind::category::IsInvertible
A pointed (T, Op) where every element has an Op-inverse.
Definition total.cppm:548
dedekind::category::IsLoop
A UnitalMagma with Inverses (-x).
Definition total.cppm:556
dedekind::category::IsUnitalMagma
A Magma with a global Identity (0 or 1).
Definition total.cppm:538

Detailed Description

A UnitalMagma with Inverses (-x).

Note
"A Group without the Associativity Axiom."