Towards a General Theory of Classifications