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:

Last revised on June 21, 2011 at 15:34:44. See the history of this page for a list of all contributions to it.