https://mathoverflow.net/questions/327899/name-for-abelian-category-in-which-every-short-exact-sequence-splits
