terminology: dagger and involution

Dear Peter, what you are calling a "dagger-category", i.e. a category equipped with a contravariant involutive endofunctor, which is the identity on objects, has been called "a category with involution", at least from Burgin 1969 to Lambek 2001. "Involutive category" has also been used, if less. (The main object of these papers, or most of them, is: categories of relations.) I think it would be better to come back to the old term, which is meaningful, translatable, and old. With best regards Marco