$𝖵 𝖾 𝖼 𝗍 𝕂$

Category of finite-dimensional vector spaces

The category of finite-dimensional vector spaces, denoted $𝖥 𝖵 𝖾 𝖼 𝗍 𝕂$ , is the full subcategory of $𝖵 𝖾 𝖼 𝗍 𝕂$ spanned by finite-dimensional vector spaces. #m/def/linalg

Properties

$𝖥 𝖵 𝖾 𝖼 𝗍 𝕂$ is pivotal.

#state/develop | #lang/en | #SemBr