Abstract:We develop a general theory of cluster categories, applying to a 2-Calabi-Yau extriangulated category $\mathcal{C}$ and cluster-tilting subcategory $\mathcal{T}$ satisfying only mild finiteness conditions. We show that the structure theory of $\mathcal{C}$ and the representation theory of $\mathcal{T}$ give rise to the rich combinatorial structures of seed data and cluster ensembles, via Grothendieck groups and homological algebra. We demonstrate that there is a natural dictionary relating cluster-tilting subcategories and their tilting theory to A-side tropical cluster combinatorics and, dually, relating modules over $\underline{\mathcal{T}}$ to the X-side; here $\underline{\mathcal{T}}$ is the image of $\mathcal{T}$ in the triangulated stable category of $\mathcal{C}$. Moreover, the exchange matrix associated to $\mathcal{T}$ arises from a natural map $p_{\mathcal{T}}\colon\mathrm{K}_0(\operatorname{mod}\underline{\mathcal{T}})\to\mathrm{K}_0(\mathcal{T})$ closely related to taking projective resolutions. Via our approach, we categorify many key identities involving mutation, g-vectors and c-vectors, including in infinite rank cases and in the presence of loops and 2-cycles. We are also able to define A- and X-cluster characters, which yield A- and X-cluster variables when there are no loops or 2-cycles, and which enable representation-theoretic proofs of cluster-theoretical statements. Continuing with the same categorical philosophy, we give a definition of a quantum cluster category, as a cluster category together with the choice of a map closely related to the adjoint of $p_{\mathcal{T}}$. Our framework enables us to show that any Hom-finite exact cluster category admits a canonical quantum structure, generalising results of Geiß--Leclerc--Schröer.

Involutive Markov categories and the quantum de Finetti theorem

Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras

On the categorical foundations of quantum information theory: Categories and the Cramer-Rao inequality

Categorical probability spaces, ergodic decompositions, and transitions to equilibrium

A de Finetti theorem for quantum causal structures

Absolute continuity, supports and idempotent splitting in categorical probability

Markov Categories and Entropy

Categories of quantum cpos

Quantum category O vs affine Hecke category

On the invertibility of quantization functors

Quantum graphs, subfactors and tensor categories I

From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

Universal Properties of Partial Quantum Maps

The quantum connection, Fourier-Laplace transform, and families of A-infinity-categories

On the definition of quantum Heisenberg category

Cluster structures via representation theory: cluster ensembles, tropical duality, cluster characters and quantisation

Monoidal categorification and quantum affine algebras II

Quivers, Quasi-Quantum Groups and Finite Tensor Categories

Quasi-invariant states

The Aldous--Hoover Theorem in Categorical Probability

Quantization as a categorical equivalence