The signatures a homomorphism defaults to: the semiring each end of an arrow registers, and the empty signature, which claims nothing, for a type that is no arrow. More...

Public Types
using	source = Signature<>
using	target = Signature<>

Detailed Description

template<typename Arrow>
struct dedekind::algebra::detail_universal::default_signatures< Arrow >

The signatures a homomorphism defaults to: the semiring each end of an arrow registers, and the empty signature, which claims nothing, for a type that is no arrow.

Template Parameters

Arrow the candidate.

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

src/main/modules/dedekind/algebra/universal.cppm

Public Types

Detailed Description