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.