Conjecture for principal funcoid and a set of funcoids of appropriate sources and destinations.
It's used notation from Algebraic General Topology book
Bibliography
*Victor Porton. A blog post
* indicates original appearance(s) of problem.