4 Feb
2011
4 Feb
'11
6:48 p.m.
On 2011-01-02, Michael Shulman wrote:
A family of morphisms { x_i --> y }_{i \in I} in some category, all with the same codomain, is called a "sink" or a "cocone". A family { x --> y_j }_{j \in J} all with the same domain is called a "source" or a "cone". Is there a name for a family of the form { x_i --> y_j }_{i \in I, j \in J} ? A cylinder? Or a frustrum (since I \neq J)?
Mike
A join? Tom [For admin and other information see: http://www.mta.ca/~cat-dist/ ]