Definition talk:Composition of Mappings

Ok, so who hid the Composite Mapping is Mapping page? --Lord_Farin 20:37, 7 August 2012 (UTC)


 * Was never any such page. This is one of the earliest pages on PW, from before it was all rigorous and all that. --prime mover 20:46, 7 August 2012 (UTC)


 * Don't we only need the domain of $f_2$ to include the image of $f_1$, rather than equaling its codomain? --Dfeuer (talk) 19:28, 5 March 2013 (UTC)


 * It doesn't really matter (the codomain can be enlarged if necessary). However, categorical perspective makes the current the most desirable definition. &mdash; Lord_Farin (talk) 19:40, 5 March 2013 (UTC)


 * And I just realized associativity could be an issue too. I guess Composition of Relations will cover any actual need for this generalization. --Dfeuer (talk) 19:43, 5 March 2013 (UTC)