dedekind::category::Projection< 0 > Struct Reference

The projection out of the one-fold product A¹ ≅ A: the identity arrow (Identity), read at the point's own type. More...

Public Member Functions
template<typename T>
constexpr T	operator() (const T &x) const
constexpr auto	operator() (const P &p) const
	The component, as a value: one overload for lvalues and temporaries alike, and no reference into a product that may die.

Detailed Description

The projection out of the one-fold product A¹ ≅ A: the identity arrow (Identity), read at the point's own type.

---

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

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