Dagger categories
= Dagger categories
{wiki=Dagger_categories}
Dagger categories, also known as "dagger categories," are a concept from category theory in mathematics. They are a specific type of category that is equipped with an additional structure known as a "dagger functor.