/src/CatTheory/Category/Instance/Properties/