I’ve added to my book the following conjecture:

Conjecture For every composable funcoids $latex f$ and $latex g$

$latex (\mathsf{RLD})_{\mathrm{out}}(g\circ f)\sqsupseteq (\mathsf{RLD})_{\mathrm{out}}g\circ(\mathsf{RLD})_{\mathrm{out}} f.$

Leave a Reply

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