When reading a CS paper, I encountered an arrow like $\langle f_1, \ldots, f_n \rangle : \langle A_1, \ldots, A_n \rangle \rightarrow \langle B_1, \ldots, B_n \rangle$. The author took it for granted to mean a collection of arrows $f_1 : A_1 \rightarrow B_1$, ..., $f_n : A_n \rightarrow B_n$. I wonder if there is such a notion in category theory. If it is, I would appreciate a reference. Thanks.
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Based on the information provided, the arrow $\langle f_1,\dots,f_n\rangle$ can be regarded as an arrow in the product category $\mathscr D=\mathscr C\times\mathscr C\times\dots\times\mathscr C$ if each arrow $f_i$ originates in $\mathscr C$.