dedekind::category::Sections< T, Op > Struct Template Reference

Public Types
using	Domain = T
using	Codomain = T

Public Member Functions
constexpr	Sections (Identity< T > i)
constexpr	Sections (Section< T, Op > s)
constexpr T	operator() (const T &x) const
constexpr bool	operator== (const Sections &) const =default

Static Public Member Functions
static constexpr Sections	inl (const Identity< T > &i)
	The injections ι₁, ι₂, named, so that Sections is its own coproduct operation (IsCoproduct's Op).
static constexpr Sections	inr (const Section< T, Op > &s)

Public Attributes
std::variant< Identity< T >, Section< T, Op > >	v

---

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

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