Re: source, sinks, and ?

[burroni@math.jussieu.fr]

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/ ]