# reloid

## Direct proof of a theorem about compact funcoids ★★

Author(s): Porton

Conjecture   Let is a -separable (the same as for symmetric transitive) compact funcoid and is a uniform space (reflexive, symmetric, and transitive endoreloid) such that . Then .

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:

Conjecture   Let be a -separable compact reflexive symmetric funcoid and be a reloid such that
\item ; \item .

Then .

## Decomposition of completions of reloids ★★

Author(s): Porton

Conjecture   For composable reloids and it holds
\item if is a co-complete reloid; \item if is a complete reloid; \item ; \item ; \item .

Keywords: co-completion; completion; reloid

## Distributivity of inward reloid over composition of funcoids ★★

Author(s): Porton

Conjecture   for any composable funcoids and .

## Atomic reloids are monovalued ★★

Author(s): Porton

Conjecture   Atomic reloids are monovalued.

Keywords: atomic reloid; monovalued reloid; reloid

## Composition of atomic reloids ★★

Author(s): Porton

Conjecture   Composition of two atomic reloids is atomic or empty.

Keywords: atomic reloid; reloid

## S(S(f)) = S(f) for reloids ★★

Author(s): Porton

Question   for every endo-reloid ?

Keywords: reloid

## Reloid corresponding to funcoid is between outward and inward reloid ★★

Author(s): Porton

Conjecture   For any funcoid and reloid having the same source and destination

Keywords: funcoid; inward reloid; outward reloid; reloid

## Distributivity of union of funcoids corresponding to reloids ★★

Author(s): Porton

Conjecture   if is a set of reloids from a set to a set .

Keywords: funcoid; infinite distributivity; reloid

## Inward reloid corresponding to a funcoid corresponding to convex reloid ★★

Author(s): Porton

Conjecture   for any convex reloid .

Keywords: convex reloid; funcoid; functor; inward reloid; reloid

## Outward reloid corresponding to a funcoid corresponding to convex reloid ★★

Author(s): Porton

Conjecture   for any convex reloid .

Keywords: convex reloid; funcoid; functor; outward reloid; reloid