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...

closed categories are closed categories. In particular, any topos is closed. The canonical example is the category of sets. Compact closed categories...

In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified...

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...

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

replace compact spaces with compact Hausdorff spaces. Compactly generated spaces were developed to remedy some of the shortcomings of the category of topological...

include cartesian closed categories such as Set, the category of sets, and compact closed categories such as FdVect, the category of finite-dimensional...

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...

Bob (2016), "Reasoning about meaning in natural language with compact closed categories and Frobenius algebras", Logic and Algebraic Structures in Quantum...

if countable unions of closed sets with empty interior also have empty interior. According to the Baire category theorem, compact Hausdorff spaces and complete...