Talk:Product type

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Stub-class, Low-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Stub Class
Low Priority
 Field: Foundations, logic, and set theory

Missing definition[edit]

It is not a good idea to to use the word that is being defined in its own definition. This article is a good example of a definition that does just that, and leaves the uninitiated no wiser. It would certainly be very nice if someone who does understand this issue to explain it in concrete terms. Thanks. FreeFlow99 (talk) 15:36, 31 March 2013 (UTC)

I agree with FreeFlow99: and above all it lacks any hint in what a product type is different from a trivial tuple. — Preceding unsigned comment added by 62.77.56.18 (talk) 09:03, 20 June 2013 (UTC)
Agreed. The industrious individual could do no harm by adding content taken from either the ncatlab page, or from the HoTT book. Both have a decent explanation of the idea. 99.153.64.179 (talk) 18:15, 26 June 2013 (UTC)