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

DiscreteCategory realization using the Identity Morphism. Lifts a species T into a category where every arrow is the Identity<T>. More...

Public Types
using	Species = T
using	Arrow = Identity<T>
using	Id = Identity<T>

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

Detailed Description

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

DiscreteCategory realization using the Identity Morphism. Lifts a species T into a category where every arrow is the Identity<T>.

---

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

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