Conjecture   In the category of continuous funcoids (defined similarly to the category of topological spaces) the following is a direct categorical product:

\item Product morphism is defined similarly to the category of topological spaces. \item Product object is the sub-atomic product. \item Projections are sub-atomic projections.