Related papers: Primitive recursive categoricity spectra of functi…
In categorical realizability, it is common to construct categories of assemblies and categories of modest sets from applicative structures. These categories have structures corresponding to the structures of applicative structures. In the…
We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…
We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…
We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the…
For any graded commutative noetherian ring, where the grading group is abelian and where commutativity is allowed to hold in a quite general sense, we establish an inclusion-preserving bijection between, on the one hand, the twist-closed…
We study the topology of a class of proper submodules and some of its distinguished subclasses and call them structure spaces. We give several criteria for the quasi-compactness of these structure spaces. We study $T_0$ and $T_1$ separation…
Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…
For a given category B we are interested in studying internal categorical structures in B. This work is the starting point, where we consider reflexive graphs and precategories (i.e., for the purpose of this note, a simplicial object…
Dynamical degrees and spectra can serve to distinguish birational automorphism groups of varieties in quantitative, as opposed to only qualitative, ways. We introduce and discuss some properties of those degrees and the Cremona degrees,…
A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…
We define here the category of partial differential equations. Special cases of morphisms from an object (equation) are symmetries of the equation and reductions of the equation by a symmetry groups, but there are many other morphisms. We…
Answering a question of Junker and Ziegler, we construct a countable first order structure which is not omega-categorical, but does not have any proper non-trivial reducts, in either of two senses (model-theoretic, and group-theoretic). We…
In this survey article we discuss a framework of noncommutative geometry with differential graded categories as models for spaces. We outline a construction of the category of noncommutative spaces and also include a discussion on…
We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and…
We prove some results on the structure of certain classes of integral fusion categories and semisimple Hopf algebras under restrictions on the set of its irreducible degrees.
We prove that the cyclic homology of a saturated $A_\infty$ category admits the structure of a `polarized variation of Hodge structures', building heavily on the work of many authors: the main point of the paper is to present complete…
We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and are weakly invertible. The canonical model structure on strict…
We study the categorical framework for the computation of persistent homology, without reliance on a particular computational algorithm. The computation of persistent homology is commonly summarized as a matrix theorem, which we call the…
We define a partition of a reductive group into finitely many subsets, refining the partition of the group into strata. We state some conjectural properties of these subsets (called substrata) and verify them in some examples.
We describe a point-set category of parametrized orthogonal spectra, a model structure on this category, and a separate, more geometric class of cofibrant-and-fibrant objects. The structures we describe are "convenient" in that they are…