Title: Involutive Category Theory