**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.

See Algebraic General Topology for definitions of used concepts.

## Bibliography

*Victor Porton. a blog post

* indicates original appearance(s) of problem.