Trait: F preserves identities and composition, \(F(\mathrm{id})
= \mathrm{id}\) and \(F(f \gg g) = F(f) \gg F(g)\): the functor laws, a certificate as is_involutive and commutes are, primary std::false_type. A type cannot show them, since \(F(f \gg g)\) and \(F(f) \gg F(g)\) are different types that denote one arrow; a functor that lifts each arrow letterwise, elementwise or not at all declares it, and a composite of functors derives it.
More...
Detailed Description
struct dedekind::category::is_functorial< F >
Trait: F preserves identities and composition, \(F(\mathrm{id})
= \mathrm{id}\) and \(F(f \gg g) = F(f) \gg F(g)\): the functor laws, a certificate as is_involutive and commutes are, primary std::false_type. A type cannot show them, since \(F(f \gg g)\) and \(F(f) \gg F(g)\) are different types that denote one arrow; a functor that lifts each arrow letterwise, elementwise or not at all declares it, and a composite of functors derives it.
- Template Parameters
-
F the functor.
The documentation for this struct was generated from the following file:
- src/main/modules/dedekind/category/functor.cppm
