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

A monoid as a category with one object, its delooping, and an action of it as a functor out of that category (Mac Lane, CWM §I.2): the action's laws are the functor's. More...

Collaboration diagram for dedekind::category::Element< T, Op >:

Public Types
using	Domain = One
using	Codomain = One

Public Member Functions
constexpr One	operator() (One) const

Public Attributes
T	value

Friends
constexpr Element	operator>> (const Element &a, const Element &b)
	a then b is \(a \cdot b\).

Detailed Description

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

A monoid as a category with one object, its delooping, and an action of it as a functor out of that category (Mac Lane, CWM §I.2): the action's laws are the functor's.

functor__Actions

An element of a monoid as an arrow of its delooping, from the one object to itself; two compose by the monoid's operation, in the walk's order, as >> reads.

Template Parameters

T
Op	the monoid.

---

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

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