An arrow here is not a matrix, but it's represented as a matrix, in this picture. Just a convenient way to show how it works if domain is a union and codomain is a product.
I'd suggest to go in the opposite direction, and consider a category where objects are natural numbers, and arrows are matrices n×m (a matrix from [n] to [m]). You can check that it's a category. Similarly, "multiply by a given number" can be considered as an arrow from [1] to [1] in this category.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2019-11-06 05:13 pm (UTC)I'd suggest to go in the opposite direction, and consider a category where objects are natural numbers, and arrows are matrices n×m (a matrix from [n] to [m]). You can check that it's a category. Similarly, "multiply by a given number" can be considered as an arrow from [1] to [1] in this category.
no subject
Date: 2019-11-06 10:36 pm (UTC)