dedekind::category::ActingOn< H, V, S > Struct Template Reference

The arrows by which a monoid acts on V, as a category: the image of the delooping under the action. More...

Public Types
using	Species = V
using	Arrow = Acting<H, V, S>
using	Id = IdentityIn<ActingOn>

Static Public Member Functions
static constexpr Id	id_c (const V &)
static constexpr Arrow	unit_arrow ()

Detailed Description

template<std::semiregular H, std::semiregular V, std::semiregular S>
requires IsRightAction<H, V, S>
struct dedekind::category::ActingOn< H, V, S >

The arrows by which a monoid acts on V, as a category: the image of the delooping under the action.

Template Parameters

H	the action.
V	what it acts on.
S	the monoid's carrier.

---

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

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