I have defined two new kinds of products of funcoids: $latex \prod^{\mathrm{in}}_{i \in \mathrm{dom}\, f} f = \prod^{(C)}_{i \in \mathrm{dom}\, f} (\mathsf{RLD})_{\mathrm{in}} f_i$ (cross-inner product). $latex \prod^{\mathrm{out}}_{i \in \mathrm{dom}\, f} f = \prod^{(C)}_{i \in \mathrm{dom}\, f} (\mathsf{RLD})_{\mathrm{out}} f_i$ (cross-outer product). These products…

read more