First, we can define product of reloids as a trivial generalization of the alternative definition of product of uniform spaces.

There are no trivial simplification of this relatively inelegant definition, it is not algebraic as I would want.

I (without any evidence or intuition) propose two open questions one of which may be true despite of no evidence. (Having no evidence I expect that the answers to these questions are false, but I may happily mistake about this.)

The displacement of a pointfree funcoid $latex f\in \mathsf{FCD}( \mathsf{FCD}(\mathrm{Src}\,f;\mathrm{Src}\,g) ; \mathsf{FCD}(\mathrm{Dst}\,f;\mathrm{Dst}\,g) ) $ is the upgrading of downgrading the pointfree funcoid $latex f$ where downgrading is taken for the filtrator $latex (\mathsf{FCD}( \mathsf{FCD}(\mathrm{Src}\,f;\mathrm{Src}\,g) ; \mathsf{FCD}(\mathrm{Dst}\,f;\mathrm{Dst}\,g) ); \mathsf{FCD}(\mathrm{Src}\,f\times\mathrm{Src}\,g; \mathrm{Dst}\,f\times\mathrm{Dst}\,g))$ and upgrading for the filtrator $latex (\mathsf{FCD}( \mathsf{RLD}(\mathrm{Src}\,f;\mathrm{Src}\,g) ; \mathsf{RLD}(\mathrm{Dst}\,f;\mathrm{Dst}\,g) ); \mathsf{FCD}(\mathrm{Src}\,f\times\mathrm{Src}\,g; \mathrm{Dst}\,f\times\mathrm{Dst}\,g))$.

The displaced product $latex f\times^\mathrm{(DP)} g$ of reloids $latex f$ and $latex g$ is the displacement of the cross-composition product $latex f\times^\mathrm{(C)} g$ of reloids $latex f$ and $latex g$.

Question The product of reloids $latex f$ and $latex g$ is the reloid $latex (\mathsf{RLD})_{\mathrm{in}}(f\times^\mathrm{(DP)} g)$.

Question The product of reloids $latex f$ and $latex g$ is the reloid $latex (\mathsf{RLD})_{\mathrm{out}}(f\times^\mathrm{(DP)} g)$.

Read about funcoids and reloids here.

Leave a Reply

Your email address will not be published. Required fields are marked *