Semi-Abelian Category - Ontify