Abstract theory