Timeline for What is the term for combining functions $f_1,f_2,\dots,f_n$ into a tuple $(f_1,\dots,f_n)$?
Current License: CC BY-SA 3.0
23 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8, 2015 at 16:42 | vote | accept | Terry Tao | ||
| Oct 6, 2015 at 22:50 | comment | added | Abel | How about 'coupling'? | |
| Oct 6, 2015 at 21:12 | comment | added | PrimeRibeyeDeal | I know this isn't the same concept, but it's nice to know the term for en.wikipedia.org/wiki/Currying | |
| Oct 6, 2015 at 21:11 | answer | added | Vidit Nanda | timeline score: 1 | |
| Oct 6, 2015 at 18:39 | answer | added | Todd Trimble | timeline score: 17 | |
| Oct 6, 2015 at 18:33 | answer | added | Bjørn Kjos-Hanssen | timeline score: 6 | |
| Oct 6, 2015 at 18:26 | comment | added | Peter LeFanu Lumsdaine | @ToddTrimble: given how much support “tupling” has received in comments, perhaps make it an answer? | |
| Oct 6, 2015 at 17:08 | comment | added | Tobias Fritz | In line with Todd's suggestion, computer scientists also use the term "cotupling" for the dual notion involving a coproduct: startpage.com/do/search?q=cotupling | |
| Oct 6, 2015 at 17:01 | answer | added | Gerhard Paseman | timeline score: 4 | |
| Oct 6, 2015 at 6:27 | comment | added | Jochen Wengenroth | As $X_1\times\cdots \times X_n$ is called cartesian product I use the same name for $f=(f_1,\ldots,f_n)$. | |
| Oct 6, 2015 at 5:53 | comment | added | Tom Solberg | I vote the "Tao Product". | |
| Oct 6, 2015 at 3:40 | comment | added | Qiaochu Yuan | The problem with "product" is that it could also refer to the corresponding morphism $X \times \dots \times X \to Y_1 \times \dots \times Y_n$... | |
| Oct 6, 2015 at 1:22 | comment | added | Jesse C. McKeown | it IS the product (object) of the (objects) $(f_i : X \to Y_i)$ in the comma category $X \backslash YourCat$. So you could perfectly well call your map the (comma) product of those maps, and leave out "comma" when it gets tiresome. | |
| S Oct 6, 2015 at 1:07 | history | suggested | Michael Albanese |
Added the terminology tag.
|
|
| Oct 6, 2015 at 0:44 | review | Suggested edits | |||
| S Oct 6, 2015 at 1:07 | |||||
| Oct 6, 2015 at 0:16 | comment | added | Niels J. Diepeveen | Suvrit's comment is to some extent supported by Engelking's General topology, which is very precise about terminology. It uses the term "diagonal of mappings" and the notation $\bigtriangleup_{i=1}^n f_i$. (the definition is at the bottom of page 79 in the 1989 edition) | |
| Oct 6, 2015 at 0:15 | comment | added | Brendan McKay | If there is no existing term, consider "assemblage". | |
| Oct 5, 2015 at 23:10 | comment | added | grghxy | From the "representable functor" perspective of $X$-valued points we're giving ourselves an indexed collection of elements $f_i \in Y_i(X) := {\rm{Hom}}(X,Y_i)$ and are forming the ordered $n$-tuple $f = (f_1, \dots, f_n) \in \prod (Y_i(X)) = {\rm{Hom}}(X, \prod Y_i)$, so one is brought to the special case of simply forming an ordered $n$-tuple in a product set from the components (i.e., the special case in set theory with $X$ a singleton). So perhaps one should focus on this special case to decide what (if anything) is suitable terminology, though I have no idea what it would be! | |
| Oct 5, 2015 at 22:38 | comment | added | Suvrit | One option might be to call this the "diagonal" of the Cartesian product? I don't know though if such a name is standard outside of optimization where this "diagonal" arises as a part of the so-called "product-space trick" | |
| Oct 5, 2015 at 22:16 | comment | added | Pietro Majer | Since $(f_1,\dots,f_n)$ is given by the universal property of the product of the $Y_i$, one may also call it "the map induced by $f_1,\dots,f_n$ in $\prod_i Y_i$". | |
| Oct 5, 2015 at 22:00 | comment | added | Per Alexandersson | Perhaps "type product" could be used, borrowing a bit of the terminology from here: en.wikipedia.org/wiki/Product_type ? | |
| Oct 5, 2015 at 21:54 | comment | added | Todd Trimble | In the case $n = 2$, I would call it the pairing. Similarly, one has "tripling", "quadrupling", and so in general I would call it the tupling of the list $f_1, \ldots, f_n$. | |
| Oct 5, 2015 at 21:41 | history | asked | Terry Tao | CC BY-SA 3.0 |