objective categorical abstract machine language personal data server