Timeline for Is there a name for the algebraic structure of all real matrices?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 3, 2022 at 7:35 | comment | added | YCor | It's also a small category, since objects form a set. Hence a small linear category. | |
| S Jul 3, 2022 at 6:49 | history | suggested | J. W. Tanner |
Added terminology tag
|
|
| Jul 3, 2022 at 2:41 | review | Suggested edits | |||
| S Jul 3, 2022 at 6:49 | |||||
| Jul 3, 2022 at 1:55 | comment | added | David E Speyer | To spell out Sam Hopkins comment, a linear category is a category where each $\text{Hom}(A,B)$ is equipped with the structure of a $k$-vector space, and composition $\text{Hom}(A,B) \times \text{Hom}(B,C) \longrightarrow \text{Hom}(A,C)$ is bilinear. The category whose objects are the vector spaces $\mathbb{R}^1$, $\mathbb{R}^2$, $\mathbb{R}^3$, etcetera, with $\text{Hom}(\mathbb{R}^n, \mathbb{R}^m)$ being the $m \times n$ matrices is thus a linear category. | |
| Jul 3, 2022 at 1:42 | comment | added | Sam Hopkins | Linear category? | |
| Jul 3, 2022 at 1:21 | history | asked | Insulin69 | CC BY-SA 4.0 |