nLab
self-adjoint morphism

Contents

Definition

A morphism ff in a dagger-category is self-adjoint if

f =f. f^\dagger = f \,.

For appropriate choices of dagger categories this restricts to various notions of self-adjointness: