dedekind::category::MakeJoin Struct Reference

The pairing factory for the join (∨, pushout): ⟨-,-⟩ : A×B→Join. More...

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

Detailed Description

The pairing factory for the join (∨, pushout): ⟨-,-⟩ : A×B→Join.

---

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

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