dedekind::relational::PreimagePredicate< F, S > Struct Template Reference

The preimage predicate \(a \mapsto f(a)\in S\): the subobject S pulled back along the functional arrow f ( \(\chi_S\circ f\)). More...

Public Types
using	ArrowType = std::remove_cvref_t<F>
using	SetType = std::remove_cvref_t<S>

Public Member Functions
constexpr SetType::logic_species::Ω	operator() (const typename ArrowType::Domain &a) const

Public Attributes
ArrowType	arrow
SetType	set

Detailed Description

template<typename F, typename S>
struct dedekind::relational::PreimagePredicate< F, S >

The preimage predicate \(a \mapsto f(a)\in S\): the subobject S pulled back along the functional arrow f ( \(\chi_S\circ f\)).

Named (not a lambda) so it carries both the arrow f and the codomain set S — the reified \(\chi_S\circ f\), the sibling of GraphPredicate for the pullback-of-a-subobject reading of §4.

---

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

• src/main/modules/dedekind/relational/graph.cppm