reloid
Distributivity of outward reloid over composition of funcoids ★★
Author(s): Porton
Conjecture for any composable funcoids and .
Keywords: distributive; distributivity; funcoid; functor; outward reloid; reloid
Funcoid corresponding to inward reloid ★★
Author(s): Porton
Conjecture for any funcoid .
Keywords: funcoid; inward reloid; reloid
Monovalued reloid is a restricted function ★★
Author(s): Porton
Conjecture If a reloid is monovalued then it is a monovalued function restricted to some filter.
Keywords: monovalued morphism; monovalued reloid; reloid