Related papers: Primitive recursive categoricity spectra
We give a rigorous formulation of the intuitive idea that a differentiable map should be thesame thing as a locally, or infinitesimally, linear map: just as a linear map respects the operations of addition and multiplication by scalars ina…
We introduce the notions of multiplier C*-category and continuous bundle of C*-categories, as the categorical analogues of the corresponding C*-algebraic notions. Every symmetric tensor C*-category with conjugates is a continuous bundle of…
We investigate (2,1):1 structures, which consist of a countable set $A$ together with a function $f: A \to A$ such that for every element $x$ in $A$, $f$ maps either exactly one element or exactly two elements of $A$ to $x$. These…
We give a complete derived equivalence classification of all symmetric algebras of domestic representation type over an algebraically closed field. This completes previous work by R. Bocian and the authors, where in this paper we solve the…
Modelling compositionality has been a longstanding area of research in the field of vector space semantics. The categorical approach to compositionality maps grammar onto vector spaces in a principled way, but comes under fire for requiring…
Primitive recursion is a mature, well-understood topic in the theory and practice of programming. Yet its dual, primitive corecursion, is underappreciated and still seen as exotic. We aim to put them both on equal footing by giving a…
We compute Balmer's prime spectrum for the derived category of quiver representations for a finite ordered quiver and show that it does not recover the quiver. We then associate an algebra to every k-linear triangulated tensor category and…
We explore from an algebraic viewpoint the properties of the tree languages definable with a first-order formula involving the ancestor predicate, using the description of these languages as those recognized by iterated block products of…
We construct a model categorical equivalence between the category of simplicial vector spaces and the category of representations of a crossed simplicial group $\Delta G$ when each $G_n$ is finite and the characteristic of the ground field…
The tree share structure proposed by Dockins et al. is an elegant model for tracking disjoint ownership in concurrent separation logic, but decision procedures for tree shares are hard to implement due to a lack of a systematic theoretical…
We investigate a version of the Green correspondence for categories of complexes, including homotopy categories and derived categories. The correspondence is an equivalence between a category defined over a finite group $G$ and the same for…
In one of our previous articles, we outlined the formulation of a version of the categorical arithmetic local Langlands conjecture. The aims of this article are threefold. First, we provide a detailed account of one component of this…
For each natural number $n$, we define a category whose objects are discriminant algebras in rank $n$, i.e. functorial means of attaching to each rank-$n$ algebra a quadratic algebra with the same discriminant. We show that the discriminant…
Certain families of combinatorial objects admit recursive descriptions in terms of generating trees: each node of the tree corresponds to an object, and the branch leading to the node encodes the choices made in the construction of the…
We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations $R, S$, a componentwise reducibility is defined by $ R\le S \iff \ex f \, \forall x, y \, [xRy…
We give the site-theoretic account of the spectral construction as first introduced by Coste. We provide a detailed examination of the geometric properties of the spectrum, in particular what classes of topoi it produces when applied to the…
A computable structure $\mathcal{A}$ has degree of categoricity $\mathbf{d}$ if $\mathbf{d}$ is exactly the degree of difficulty of computing isomorphisms between isomorphic computable copies of $\mathcal{A}$. Fokina, Kalimullin, and Miller…
Lessard's $\mathbb{Z}$-categories are an analogue of $\omega$-categories possessing cells in all positive and negative dimensions. Categorical spectra, developed by Stefanich, are an analogue of spectra obtained by replacing the suspension…
We show that the classification diagram of a relative $\infty$-category arising from a relative simplicial category is equivalent to the levelwise nerve. Applications include the comparison of the diagonal of the levelwise nerve and the…
A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…