
general topology
A conjecture about direct product of funcoids ★★
Author(s): Porton
Conjecture Let
and
are monovalued, entirely defined funcoids with
. Then there exists a pointfree funcoid
such that (for every filter
on
)
(The join operation is taken on the lattice of filters with reversed order.)







A positive solution of this problem may open a way to prove that some funcoids-related categories are cartesian closed.
Keywords: category theory; general topology
