In category theory, a branch of mathematics, dagger compact categories (or dagger compact closed categories) first appeared in 1989 in the work of Sergio...

In category theory, a branch of mathematics, a dagger category (also called involutive category or category with involution) is a category equipped with...

Derived category Triangulated category Model category 2-category Dagger symmetric monoidal category Dagger compact category Strongly ribbon category Closed...

between dagger categories and the dagger compact categories that are used in categorical quantum mechanics, an area that now also considers dagger symmetric...

In category theory, a branch of mathematics, compact closed categories are a general context for treating dual objects. The idea of a dual object generalizes...

the dagger compact categories. Tannakian categories are monoidal categories enriched over a field, which are very similar to representation categories of...

interpretation of quantum mechanics in terms of category theory, and, in particular, as a dagger compact category. This formulation, known as categorical quantum...

a closed category, and furthermore a dagger compact category. The category Rel can be obtained from the category Set as the Kleisli category for the monad...

The category nCob of finite-dimensional cobordisms is a dagger compact category. More generally, the category Span(C) of spans on any category C with...

with more structure to study various aspects. For instance: A dagger compact category allows one to distinguish between an "input" and "output" of a...