Just today I’ve got the idea of the below conjecture: Definition I call funcoidal such reloid $latex \nu$ that $latex \mathcal{X} \times^{\mathsf{RLD}} \mathcal{Y} \not\asymp \nu \Rightarrow \\ \exists \mathcal{X}’ \in \mathfrak{F}^{\mathrm{Base} ( \mathcal{X})} \setminus \{ 0 \}, \mathcal{Y}’ \in \mathfrak{F}^{\mathrm{Base} ( \mathcal{Y})}…

read more