In category theory, a branch of mathematics, dagger compact categories (or dagger compact closed categories) first appeared in 1989 in the work of Sergio...
15 KB (2,007 words) - 05:22, 14 April 2024
In category theory, a branch of mathematics, a dagger category (also called involutive category or category with involution) is a category equipped with...
5 KB (663 words) - 00:05, 5 July 2022
Derived category Triangulated category Model category 2-category Dagger symmetric monoidal category Dagger compact category Strongly ribbon category Closed...
5 KB (402 words) - 15:20, 29 March 2024
between dagger categories and the dagger compact categories that are used in categorical quantum mechanics, an area that now also considers dagger symmetric...
4 KB (498 words) - 13:24, 17 April 2024
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...
9 KB (1,614 words) - 08:43, 18 August 2023
the dagger compact categories. Tannakian categories are monoidal categories enriched over a field, which are very similar to representation categories of...
17 KB (2,389 words) - 13:47, 27 June 2024
interpretation of quantum mechanics in terms of category theory, and, in particular, as a dagger compact category. This formulation, known as categorical quantum...
19 KB (2,669 words) - 13:22, 23 July 2024
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...
7 KB (732 words) - 20:50, 19 May 2023
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...
4 KB (611 words) - 16:26, 28 June 2024
Categorical quantum mechanics (category Dagger categories)
with more structure to study various aspects. For instance: A dagger compact category allows one to distinguish between an "input" and "output" of a...
20 KB (2,204 words) - 17:45, 2 April 2024