2025-03-28 | | Total: 7
We introduce Elgot categories, a sort of distributive monoidal category with additional structure in which the partial recursive functions are representable. Moreover, we construct an initial Elgot category, the morphisms of which coincide with a lightly modified version of Lambek's abacus programs. The partial functions that are strongly representable in this initial Elgot category are precisely the partial recursive ones.
We prove that the Krull-Remak-Schmidt-Azumaya unique decomposition theorem holds in idempotent complete additive categories with enough compact objects. In particular, this result applies to compactly generated triangulated categories. In addition, we provide an example of an object with the finite exchange property that does not have the exchange property.
The Glivenko-Cantelli theorem is a uniform version of the strong law of large numbers. It states that for every IID sequence of random variables, the empirical measure converges to the underlying distribution (in the sense of uniform convergence of the CDF). In this work, we provide tools to study such limits of empirical measures in categorical probability. We propose two axioms, permutation invariance and empirical adequacy, that a morphism of type $X^\mathbb{N} \to X$ should satisfy to be interpretable as taking an infinite sequence as input and producing a sample from its empirical measure as output. Since not all sequences have a well-defined empirical measure, ``such empirical sampling morphisms'' live in quasi-Markov categories, which, unlike Markov categories, allow partial morphisms. Given an empirical sampling morphism and a few other properties, we prove representability as well as abstract versions of the de Finetti theorem, the Glivenko-Cantelli theorem and the strong law of large numbers. We provide several concrete constructions of empirical sampling morphisms as partially defined Markov kernels on standard Borel spaces. Instantiating our abstract results then recovers the standard Glivenko-Cantelli theorem and the strong law of large numbers for random variables with finite first moment. Our work thus provides a joint proof of these two theorems in conjunction with the de Finetti theorem from first principles.
We study two categories of cellular automata. First, for any group $G$, we consider the category $\mathcal{CA}(G)$ whose objects are configuration spaces of the form $A^G$, where $A$ is a set, and whose morphisms are cellular automata of the form $\tau : A_1^G \to A_2^G$. We prove that the categorical product of two configuration spaces $A_1^G$ and $A_2^G$ in $\mathcal{CA}(G)$ is the configuration space $(A_1 \times A_2)^G$. Then, we consider the category of generalized cellular automata $\mathcal{GCA}$, whose objects are configuration spaces of the form $A^G$, where $A$ is a set and $G$ is a group, and whose morphisms are $\phi$-cellular automata of the form $\mathcal{T} : A_1^{G_1} \to A_2^{G_2}$, where $\phi : G_2 \to G_1$ is a group homomorphism. We prove that a categorical weak product of two configuration spaces $A_1^{G_1}$ and $A_2^{G_2}$ in $\mathcal{GCA}$ is the configuration space $(A_1 \times A_2)^{G_1 \ast G_2}$, where $G_1 \ast G_2$ is the free product of $G_1$ and $G_2$. The previous results allow us to naturally define the product of two cellular automata in $\mathcal{CA}(G)$ and the weak product of two generalized cellular automata in $\mathcal{GCA}$.
We give a complete list of indecomposable exact module categories over the finite tensor category $\mathrm{Rep}(u_q(\mathfrak{sl}_2))$ of representations of the small quantum group $u_q(\mathfrak{sl}_2)$, where $q$ is a root of unity of odd order. Each of them is given as the category of representations of a left comodule algebra over $u_q(\mathfrak{sl}_2)$ explicitly presented by generators and relations.
We give a local treatment of finite alignment by identifying the finitely aligned part of any (not necessarily finitely aligned) higher-rank graph. We show the finitely aligned part is itself a constellation and forms a finitely aligned relative category of paths together with the original higher-rank graph. We show that the elements of the finitely aligned part are precisely those whose cylinder sets are compact, which allows us to give novel definitions of locally compact path and boundary-path spaces for nonfinitely aligned higher-rank graphs. We extend a semigroup action and the associated semidirect product groupoid developed by Renault and Williams to define ample Hausdorff path and boundary-path groupoids. The groupoids are amenable for nonfinitely aligned $k$-graphs by a result of Renault and Williams. In the finitely aligned case, the path groupoids coincide with Spielberg's groupoids, and the boundary-path groupoid has an inverse semigroup model via a result of Ortega and Pardo.
We prove the slogan, promoted by Walker and Freed-Teleman twenty years ago, that "The Witten-Reshetikhin-Turaev 3-TQFT is a boundary condition for the Crane-Yetter 4-TQFT" and generalize it to the non-semisimple case following ideas of Jordan, Reutter and Walker. To achieve this, we prove that the Crane-Yetter 4-TQFT and its non-semisimple version arXiv:2306.03225 are once-extended TQFTs, using the main result of arXiv:2412.14649. We define a boundary condition, partially defined in the non-semisimple case, for this 4D theory. When the ribbon category used is modular, possibly non-semisimple, we check that the composition of this boundary condition with the values of the 4-TQFT on bounding manifolds reconstructs the Witten-Reshetikhin-Turaev 3-TQFTs and their non-semisimple versions arXiv:1912.02063, in a sense that we make precise.