What standard abstraction to use for (⊸)?

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

• The specification for (⊸) is a category homomorphism (µ id = id, µ(g ∘ f) = µg ∘ µf), leading to a correct-by-construction implementation.claim0.771
  Demonstration on linear transformations.
• interpretive abstraction (method)method0.768
  Programming technique to restructure a fine-grained Linda program for efficiency by replacing live data structures with passive ones and coarser-grain processes.
• Constructive Abstractionconcept0.765
  Type of abstraction map where node information is computed from non-overlapping neuron sets
• The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.concept0.764
  Dijkstra's epigraph encapsulates the core philosophy of denotational design: abstraction enables rigor rather than obscurity.
• Abstraction Leakconcept0.764
  Failure of semantic type class morphism; indicates design flaw where type behavior violates its semantic meaning.
• Denotational design uses standard algebraic abstractions.claim0.756
  One of the six key properties of denotational design.
• Causal abstractionconcept0.756
  A framework the paper uses alongside feature geometry to deepen mechanistic understanding of LMs
• Using standard algebraic abstractions multiplies power through ecosystem support.claim0.752
  Argument for reusing type classes.