Applicative Homomorphism

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• Monoid Homomorphismconcept0.797
• semantic type class homomorphismconcept0.794
  The property that the denotation function distributes over class operations, ensuring the semantics respects the algebraic structure.
• Homomorphism as Specificationclaim0.788
  Denotation acts as algebraic homomorphism, making implementations correct-by-construction when they satisfy this property
• Functor Homomorphismconcept0.784
• Applicativeconcept0.772
  Type class for computations with multiple effects; Image instantiated with pure and <*> pointwise operations.
• Representational Isomorphismconcept0.766
  The desired property of a bidirectional, behavior-preserving mapping between model representations; the goal MAS pursues.
• Laws for free from semantic homomorphism.claim0.756
• µ is an applicative homomorphism: µ(pure a) = pure a and µ(imf <*> imx) = µ imf <*> µ imx.claim0.747
  Result for Image applicative specification.