TY  - RPRT
TI  - A categorical construction for the computational definition of vector spaces
AU  - Alejandro Díaz-Caro
AU  - Octavio Malherbe
PY  - 2020
DO  - 10.1007/s10485-020-09598-7
UR  - https://arxiv.org/abs/1905.01305
ID  - 1905.01305
ER  -