An Abstract Theory