Trait: the arrows F and G commute, \(f \circ g = g \circ
f\): a certificate, primary std::false_type, since that two particular maps commute is a claim about them, not a property of their calls, and composition commutes for no category in general. Read symmetrically by commutes_v. It is a naturality square with one functor (:natural), and what makes a composite of two involutions one (:involution, :posetal).
More...
Detailed Description
struct dedekind::category::commutes< F, G >
Trait: the arrows F and G commute, \(f \circ g = g \circ
f\): a certificate, primary std::false_type, since that two particular maps commute is a claim about them, not a property of their calls, and composition commutes for no category in general. Read symmetrically by commutes_v. It is a naturality square with one functor (:natural), and what makes a composite of two involutions one (:involution, :posetal).
The documentation for this struct was generated from the following file:
- src/main/modules/dedekind/category/morphism.cppm
