# Sub-atomic product of funcoids is a categorical product

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

See details, exact definitions, and attempted proofs here.

See Algebraic General Topology for definitions of used concepts.

## Bibliography

* indicates original appearance(s) of problem.