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

The delooping \(\mathbf{B}(T, \cdot)\): one object, an arrow per element, composition the operation, the identity its unit. Of the opposite operation, Opposite<Op>, it is the opposite category. More...

Public Types
using	Species = One
using	Arrow = Element<T, Op>
using	Id = IdentityIn<Delooping>

Static Public Member Functions
static constexpr Id	id_c (One)
static constexpr Arrow	unit_arrow ()

Detailed Description

template<std::semiregular T, std::semiregular Op>
requires IsMonoid<T, Op>
struct dedekind::category::Delooping< T, Op >

The delooping \(\mathbf{B}(T, \cdot)\): one object, an arrow per element, composition the operation, the identity its unit. Of the opposite operation, Opposite<Op>, it is the opposite category.

Template Parameters

T
Op	the monoid.

---

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

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