Category of quadratic spaces

The category of quadratic spaces $𝖰 𝖵 𝖾 𝖼 𝗍 𝕂$ is a category where an object is a Quadratic space over $𝕂$ and a morphism is a isometric $𝕂$ -linear map. #m/def/geoalg

#state/tidy | #lang/en | #SemBr