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

\(f^{-1} : \mathrm{Sub}(B, L) \to \mathrm{Sub}(A, L)\), substitution along \(f\): \(b \mapsto \{x \mid f(x) \in b\}\) (preimage, \(\chi_b \circ f\)). Total, a lattice homomorphism, monotone; the right adjoint of Image and the left adjoint of Dual. More...

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

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

Detailed Description

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

\(f^{-1} : \mathrm{Sub}(B, L) \to \mathrm{Sub}(A, L)\), substitution along \(f\): \(b \mapsto \{x \mid f(x) \in b\}\) (preimage, \(\chi_b \circ f\)). Total, a lattice homomorphism, monotone; the right adjoint of Image and the left adjoint of Dual.

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