The axioms for right (n+2)-angulated categories

Drawing inspiration from the works of Beligiannis-Marmaridis and Lin, we refine the axioms for a right $(n+2)$-angulated category and give some examples of such categories. Interestingly, we show that the morphism axiom for a right $(n+2)$-angulated category is actually redundant. Moreover, we prove that the higher octahedral axiom is equivalent to the mapping cone axiom for a right $(n+2)$-angulated category.
Comment: 30 pages