dedekind::category::Not< A > Struct Template Reference

¬A over an arrow A → Ω is the arrow RFL ∘ A: the codomain's own reflection (generic over any bounded chain Ω: Boole !, Kleene ¬U=U, …). The node stays the literal Not , so is_not_node_v / de_morgan_of / is_complement_pair_v apply unchanged; its set-object reading is structural, downstream in sets. More...

Collaboration diagram for dedekind::category::Not< A >:

Public Types
using	Domain = Dom<A>
using	Codomain = Cod<A>
using	logic_species = typename A::logic_species

Public Member Functions
template<typename... X> requires requires(const A& b, const X&... x) { b(x...); }
constexpr auto	operator() (const X &... x) const

Public Attributes
A	base

Detailed Description

template<typename A>
requires IsArrow<A> && requires { typename A::logic_species; }
struct dedekind::category::Not< A >

¬A over an arrow A → Ω is the arrow RFL ∘ A: the codomain's own reflection (generic over any bounded chain Ω: Boole !, Kleene ¬U=U, …). The node stays the literal Not , so is_not_node_v / de_morgan_of / is_complement_pair_v apply unchanged; its set-object reading is structural, downstream in sets.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/lattice.cppm