3 Jan
2011
3 Jan
'11
10:40 p.m.
Dear Mike, In fact, we can call it a matrix (of (I x J)- type) with coefficients in the category. When the category is a category of modules, we have that way a natural generalization of classical matrices. Cheers, Albert Michael Shulman <mshulman@ucsd.edu> a écrit :
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
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]