Relating Quotient Completions via Categorical Logic