Importance: Medium ✭✭
 Author(s): Porton, Victor
 Subject: Topology
 Keywords: category theory general topology
 Posted by: porton on: July 26th, 2012
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.