mathlib3

eaa02185 - feat(category_theory/triangulated/basic): add definitions of additive category and triangle (#6539)

feat(category_theory/triangulated/basic): add definitions of additive category and triangle (#6539) This PR adds the definition of an additive category and the definition of a triangle in an additive category with an additive shift.