dedekind::relational::Image< F, L > Struct Template Reference

\(\exists_f : \mathrm{Sub}(A, L) \to \mathrm{Sub}(B, L)\), the image along \(f : A \to B\): \(a \mapsto f[a] = \{f(x) \mid x \in a\}\). Partial: defined where image_along eliminates the \(\exists\). Monotone; the left adjoint of Preimage. More...

Public Types
using	Domain = dedekind::sets::Subobjects<dedekind::category::Dom<F>, L>
using	Codomain = dedekind::sets::Subobjects<dedekind::category::Cod<F>, L>

Public Member Functions
template<typename S> requires dedekind::category::Presents<S, Domain> && requires(const S& s) { image_along(F{}, s); }
constexpr auto	operator() (const S &s) const

Detailed Description

template<dedekind::category::IsArrow F, dedekind::category::IsOckhamAlgebra L = dedekind::category::Boole>
requires std::default_initializable<F>
struct dedekind::relational::Image< F, L >

\(\exists_f : \mathrm{Sub}(A, L) \to \mathrm{Sub}(B, L)\), the image along \(f : A \to B\): \(a \mapsto f[a] = \{f(x) \mid x \in a\}\). Partial: defined where image_along eliminates the \(\exists\). Monotone; the left adjoint of Preimage.

Template Parameters

F	the arrow, stateless.
L	the logic.

---

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

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