dedekind::category::MakeMeet Struct Reference

The pairing factory for the meet (∧, pullback): ⟨-,-⟩ : A×B→Meet. More...

Public Member Functions
template<typename A, typename B>
constexpr Meet< A, B >	operator() (const A &a, const B &b) const

Detailed Description

The pairing factory for the meet (∧, pullback): ⟨-,-⟩ : A×B→Meet.

---

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

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