Starting with the notion
of a category base, which is a generalization of a topological space, we
investigate cartesian products of category bases. Extension are obtained of
several classical topological theorems concerning Baire category in product
spaces.