![](/files/happy5.png)
outward reloid
Outward reloid of composition vs composition of outward reloids ★★
Author(s): Porton
Conjecture For every composable funcoids
and
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ g $](/files/tex/4239ee4145983e1d8ad375f0606cc7140bce36a3.png)
![$$(\mathsf{RLD})_{\mathrm{out}}(g\circ f)\sqsupseteq(\mathsf{RLD})_{\mathrm{out}}g\circ(\mathsf{RLD})_{\mathrm{out}}f.$$](/files/tex/84f69b164792549ff2f890d3c9dfe23addb9c1ac.png)
Keywords: outward reloid
Reloid corresponding to funcoid is between outward and inward reloid ★★
Author(s): Porton
Keywords: funcoid; inward reloid; outward reloid; reloid
Outward reloid corresponding to a funcoid corresponding to convex reloid ★★
Author(s): Porton
Keywords: convex reloid; funcoid; functor; outward reloid; reloid
Distributivity of outward reloid over composition of funcoids ★★
Author(s): Porton
Keywords: distributive; distributivity; funcoid; functor; outward reloid; reloid
![Syndicate content Syndicate content](/misc/feed.png)