A category theory approach to completion-based theorem proving strategies