Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Concrete relations and evaluated scalar descent
Concrete relations and evaluated scalar descent · lines 1432–1450
IX-C-ST@1#eq:Prelationkernel
Let be the supported kernel of , and let . Define
Symmetrization is averaging over the three metric slots.
Displayed formulas in this passage
IX-C-ST@1#eq:Prelationkernel · line 1437
Nearby in this section
- section: Concrete relations and evaluated scalar descent
- proposition: Proposition: Degree-two relation kernels
- proposition: Proposition: Degree-four relation kernels
- section: Concrete relations and evaluated scalar descent
- lemma: Lemma: Full distributional support of K
- section: Concrete relations and evaluated scalar descent
- lemma: Lemma: Compact primitive
- theorem: Theorem: Injective partial-contraction presentations