Involutive Category Theory