15 авг. 2024 г. · A compact closed category, or simply a compact category, is a symmetric monoidal category in which every object is dualizable, hence a rigid ...

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

29 июн. 2024 г. · An object of a category is called compact if it is “finite” or “small” in some precise sense. There are however different formalizations of this idea.

In mathematics, compact objects, also referred to as finitely presented objects, or objects of finite presentation, are objects in a category satisfying a ... Definition · Compactness in triangulated... · Examples

16 дек. 2017 г. · Let C be a locally small category that has filtered colimits. Then an object X in C is compact if Hom(X,−) commutes with filtered colimits. Compact object and compact generator in a category ct.category theory - Small objects vs Compact objects Compact objects in categories of categories - MathOverflow Strongly compact categories (reference request) - MathOverflow Другие результаты с сайта mathoverflow.net

Lecture 74 - Compact Closed Categories · A compact closed category is a symmetric monoidal category · The snake equations are easiest to remember using string ...

4.26 Categorically compact objects. A little bit about “small” objects of a category. Definition 4.26.1. Let \mathcal{C} be a big category.

30 дек. 2021 г. · In this paper we develop a 2-categorical approach to coherence in compact closed categories. Our approach allows us to place compact closed ...

4 сент. 2021 г. · Compact closed categories. As we said, compact closed categories are symmetric monoidal categories (see Defini- tion 4.45) with extra structure.

Compact closed categories include objects representing higher-order functions and are well-established as models of linear logic, concurrency, ...