background image

2.

Q

(

D

)

F

is a completary staroid if every

F

i

is a completary staroid.

Conjecture 211.

If

f

1

and

f

2

are funcoids, then there exists a pointfree funcoid

f

1

×

f

2

such that

h

f

1

×

f

2

i

x

=

G

{h

f

1

i

X

×

FCD

h

f

2

i

X

|

X

atoms

x

}

for every ultrafilter

x

.

18.1 Informal questions

Are the above defined products categorical direct products for some category?

Do products of funcoids and reloids coincide with Tychonov topology?
Limit and generalized limit for multiple arguments.
Is product of connected spaces connected?
Product of

T

0

-separable is

T

0

, of

T

1

is

T

1

?

Relationships between multireloids and staroids.
Generalize the section “Specifying funcoids by functions or relations on atomic filter objects”

from [3].

Generalize “Relationships between funcoids and reloids” in [1].

Bibliography

[1]

Victor Porton. Funcoids and reloids. At

http://www.mathematics21.org/binaries/funcoids-reloids.pdf

.

[2]

Victor Porton. A new kind of product of ordinal number of relations having ordinal numbers of arguments.

At

http://www.mathematics21.org/binaries/assoc.pdf

.

[3]

Victor Porton. Pointfree funcoids. At

http://www.mathematics21.org/binaries/pointfree.pdf

.

[4]

Victor Porton. Filters on posets and generalizations.

International Journal of Pure and Applied Mathe-

matics

, 74(1):55–119, 2012.

Bibliography

33