Title: An embedding theorem for Abelian relation categories