Text this: Trivial extension of Abelian categories :