dagger category

category C equipped with an involutive functor †: Cᵒᵖ → C that is the identity on objects

الفئات: