Because of this, I believe that if you make a category out of all measurable spaces and measurable functions in the obvious way, the product $\sigma$-algebra you have defined turns out to be the categorical product: i.e., it satisfies the requisite universal mapping property. Again, this is the situation for the product topology. More @Wikipedia
Hover over any link to get a description of the article. Please note that search keywords are sometimes hidden within the full article and don't appear in the description or title.