(Translated by https://www.hiragana.jp/)
[1312.4818] Typing linear algebra: A biproduct-oriented approach