dagger-categories

Articles

• Dagger symmetric monoidal categorySymmetric monoidal category with a special involution
• Dagger categoryCategory equipped with involution