Add the category of pseudo-metric spaces#101

ScriptRaccoon merged 4 commits intoScriptRaccoon:mainScriptRaccoon/CatDat:mainfrom

VeryRandomDeveloper:create-category-pseudo-metric-spacesVeryRandomDeveloper/CatDat:create-category-pseudo-metric-spacesCopy head branch name to clipboard