Add the categories of normed and semi-normed vector spaces#127

ScriptRaccoon wants to merge 4 commits intomainScriptRaccoon/CatDat:mainfrom

normed-vector-spacesScriptRaccoon/CatDat:normed-vector-spacesCopy head branch name to clipboard