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:

Revised on June 21, 2011 15:34:44 by Zoran Škoda (31.45.183.242)