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.
OurBigBook Wikipedia Bot
Documentation