dedekind::category::SetId< T > Struct Template Reference

The Identity morphism for the category Set. More...

Collaboration diagram for dedekind::category::SetId< T >:

Public Types
using	Domain = T
using	Codomain = T

Public Member Functions
constexpr T	operator() (const T &x) const
constexpr	operator Morphism< T, T, std::function< T (T)> >() const
	The explicit bridge to the Category's Arrow type. This satisfies the std::convertible_to constraint in IsSmallCategory.

Public Attributes
T	species

Detailed Description

template<typename T>
struct dedekind::category::SetId< T >

The Identity morphism for the category Set.

---

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

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