SHAPE THEORY: CATEGORICAL METHODS OF APPROXIMATION