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

A Set that satisfies the convexity theorem (no holes). More...

Concept definition

template<typename S>
concept dedekind::topology::IsConvex =
dedekind::category::IsPredicate<S> && is_convex_v<std::remove_cvref_t<S>>
dedekind::category::IsPredicate
The Predicate Morphism: the DSL's membership test, i.e. the characteristic arrow .
Definition topoi.cppm:104
dedekind::topology::IsConvex
A Set that satisfies the convexity theorem (no holes).
Definition neighborhood.cppm:283
dedekind::topology::is_convex_v
constexpr bool is_convex_v
Definition neighborhood.cppm:276

Detailed Description

A Set that satisfies the convexity theorem (no holes).