C*-algebras generalizing both relative Cuntz-Pimsner and Doplicher-Roberts algebras

We introduce and analyse the structure of C*-algebras arising from ideals in right tensor C*-precategories, which naturally generalize both relative Cuntz-Pimsner and Doplicher-Roberts algebras. We establish an explicit intrinsic construction of the considered algebras and a number of key results such as structure theorem, gauge-invariant uniqueness theorem or description of the gauge-invariant ideal structure. In particular, these statements give a new insight into the corresponding results for relative Cuntz-Pimsner algebras and are applied to Doplicher-Roberts associated to C*-correspondences.