Sub-atomic product of funcoids is a categorical product

Importance: Medium ✭✭
Subject: Algebra
Recomm. for undergrads: no
Posted by: porton
on: April 21st, 2013
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.


* indicates original appearance(s) of problem.