What is the best characterization of categories which have all the products? Is this question related to Axiom of choice in any way?
What categories have all the products?
3
$\begingroup$
category-theory
-
1There is no relation to the axiom of choice. A category with _all_ products is necessarily a preorder by a result of Freyd: see [this question](http://math.stackexchange.com/questions/202852/categories-with-limits-for-large-diagrams). – 2012-10-23