Proposition: A Morphism where Domain ≡ Codomain (f: A -> A). More...

Concept definition

template<typename T>

concept dedekind::category::IsEndomorphism = IsArrow<T> && std::same_as<domain_t<T>, codomain_t<T>>

A type that knows its own Domain (A) and Codomain (B), objects it maps between: called at the domain'...

Definition morphism.cppm:168

Proposition: A Morphism where Domain ≡ Codomain (f: A -> A).

Definition morphism.cppm:505

Detailed Description

Proposition: A Morphism where Domain ≡ Codomain (f: A -> A).