A conjecture about outward funcoids

I’ve added to my book the following conjecture:

Conjecture For every composable funcoids f and g

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

Leave a Reply