Theories of dimensions