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
closed categories are closed categories. In particular, any topos is closed. The canonical example is the category of sets. Compact closed categories...
3 KB (348 words) - 10:57, 8 September 2022
In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified...
18 KB (2,587 words) - 11:15, 8 August 2024
in category theory, a closed monoidal category (or a monoidal closed category) is a category that is both a monoidal category and a closed category in...
7 KB (1,167 words) - 18:33, 17 September 2023
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
replace compact spaces with compact Hausdorff spaces. Compactly generated spaces were developed to remedy some of the shortcomings of the category of topological...
30 KB (4,668 words) - 23:23, 28 July 2024
include cartesian closed categories such as Set, the category of sets, and compact closed categories such as FdVect, the category of finite-dimensional...
17 KB (2,389 words) - 13:47, 27 June 2024
point of X has a compact neighbourhood. 2. every point of X has a closed compact neighbourhood. 2′. every point of X has a relatively compact neighbourhood...
19 KB (2,531 words) - 15:27, 24 December 2023
Bob (2016), "Reasoning about meaning in natural language with compact closed categories and Frobenius algebras", Logic and Algebraic Structures in Quantum...
7 KB (665 words) - 07:31, 5 March 2024
Baire space (redirect from Baire category theory)
if countable unions of closed sets with empty interior also have empty interior. According to the Baire category theorem, compact Hausdorff spaces and complete...
13 KB (1,786 words) - 18:35, 26 December 2023