What should be in (products) tag?

Question

The word products is used not only for products of numbers, functions, matrices and so on (i.e., product as a binary operation) but also for products of various algebraic structures, spaces, products in category theory etc. If I understand correctly the tag-excerpt (created by Davide Giraudo, this tag is not for the "more abstract" products. The current version of the tag-excerpt looks like this:

For questions about the evaluation of finite products, or their properties. For infinite ones, use "infinite-products" tag.

However, if you look into this tag, at the moment you will find there many questions about products of topological spaces, groups, etc. (Just try to have a look at the questions tagged products+general-topology, products+group-theory, products+abstract-algebra, products+category-theory, products+measure-theory, etc.)

It is also worth mentioning that we also have tags product-space (for products of topological spaces and measure spaces, according to the tag description) and also separate tags for some constructions in group theory and abstract algebra - direct-product, semidirect-product, wreath-product.

So some of the questions which do not follow the tag description could be retagged, but for some of them we do not have a suitable tag.

My question is how should the situation be resolved:

• Should we use products for more abstract meaning of the word product, too? (In this case maybe product-space could be made synonym of this tag.)
• Should we use products only for the posts about product as a binary operation? If we decide on this usage, should we create a separate tag (or even several tags) for products of various mathematical structures?

EDIT: It seems that the infinite-product tag has the same issues. There are some questions tagged infinite-product+general-topology, infinite-product+group-theory, infinite-product+category-theory. They seem to be about the product in the abstract sense rather than about product of sequence of numbers.

(I am not sure whether the two tags are different enough so that we need a separate thread about infinite-product. But if somebody feels that it would be better to discuss them separately and posts a new question, I will remove the above paragraph and just add a link to other thread instead.)

Answer 1

My opinions:

• There should be a tag for "product-as-binary operation". Whether product is the best name for it can be debated.
• There could be a tag for "products-in-the-sense-of-category-theory", but an abstract all-encompassing tag (including at least both of the senses so far) probably is not too useful. On the other hand, since many of the products are named, it seems better to just use the tag '(semidirect-product)' instead of the combination '(product-abstract) + (group-theory)'.

In short, I think of the two proposal you made the second is the more reasonable, though I wish there is a better name used.

---

Incidentally, here is a list of all the extant "product" tags:

• products
• tensor-products (note this tag is "bigger" than the "products" tag)
• infinite-product (maybe we should pluralise this and the following?)
• cross-product
• direct-product
• semidirect-product
• euler-product
• product-space
• hadamard-product
• cauchy-product
• kronecker-product
• free-product
• wreath-product

I am slightly surprised that no-one has bothered creating the tag "cartesian-product". If we take the disintegration route that I favour this may need to be amended.

Answer 2

Willie Wong's post contains a list of already existing "product-related" tags.

I propose creating a new matrix-product for questions about product of matrices. (If we create such tag, maybe most of the questions tagged matrices+products could be retagged.)

This tag should be mostly (if not exclusively) for the usual product of matrices. (We already have hadamard-product and kronecker-product.)

I agree that matrix product could be considered as a special case of product as a binary operation, which seem to be the intended meaning of the tag products. However, matrix product seems to be important enough topic to deserve its own tag.

Answer 3

Willie Wong's answer says that there is a possibility to create a separate tag for abstract products, but the questions of this type do not belong into products tag, which is for product as a binary operation. I have decided to post a separate answer about this "abstract product tag", so that other users can vote and comment on this suggestion. (And hopefully we can arrive to some kind of consensus.)

I propose creating products-abstract tag, with the following tag excerpt:

This tag is for products of various structures (for example, products of vector spaces, groups, normed spaces, topological spaces, ...) and also for products in category theory. If the type product in question has a separate tag - such as (direct-product), (semidirect-product), (wreath-product), (tensor-products) - use that tag instead.