
reloid
Direct proof of a theorem about compact funcoids ★★
Author(s): Porton






The main purpose here is to find a direct proof of this conjecture. It seems that this conjecture can be derived from the well known theorem about existence of exactly one uniformity on a compact set. But that would be what I call an indirect proof, we need a direct proof instead.
The direct proof may be constructed by correcting all errors an omissions in this draft article.
Direct proof could be better because with it we would get a little more general statement like this:



- \item


Then .
Keywords: compact space; compact topology; funcoid; reloid; uniform space; uniformity
Decomposition of completions of reloids ★★
Author(s): Porton


- \item







Keywords: co-completion; completion; reloid
Distributivity of inward reloid over composition of funcoids ★★
Author(s): Porton
Keywords: distributive; distributivity; funcoid; functor; inward reloid; reloid
Atomic reloids are monovalued ★★
Author(s): Porton
Keywords: atomic reloid; monovalued reloid; reloid
Composition of atomic reloids ★★
Author(s): Porton
Keywords: atomic reloid; reloid
Reloid corresponding to funcoid is between outward and inward reloid ★★
Author(s): Porton
Keywords: funcoid; inward reloid; outward reloid; reloid
Distributivity of union of funcoids corresponding to reloids ★★
Author(s): Porton
Keywords: funcoid; infinite distributivity; reloid
Inward reloid corresponding to a funcoid corresponding to convex reloid ★★
Author(s): Porton
Keywords: convex reloid; funcoid; functor; inward reloid; reloid
Outward reloid corresponding to a funcoid corresponding to convex reloid ★★
Author(s): Porton
Keywords: convex reloid; funcoid; functor; outward reloid; reloid
