The Category of C++ Types (Set). Formally reified as a Cartesian Closed Category. More...

Public Types
using	Species = T
using	Arrow = Morphism<T, T, std::function<T(T)>>
using	Id = SetId<T>
using	Terminal = std::monostate
template<typename A, typename B>
using	Product = std::pair<A, B>
template<typename A, typename B, typename Exp = Morphism<A, B, std::function<B(A)>>>
using	Exponential = Exp

Static Public Member Functions
static constexpr Id	id_c (const T &x) noexcept

Friends
constexpr auto	operator>> (const Arrow &f, const Arrow &g)

Detailed Description

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

The Category of C++ Types (Set). Formally reified as a Cartesian Closed Category.

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

Public Types