Related papers: The Grothendieck computability model
Computability theory is a discipline in the intersection of computer science and mathematical logic where the fundamental question is: given two mathematical objects X and Y, does X compute Y in principle? In case X and Y are real numbers,…
A notion of support for objects in any Grothendieck category is introduced. This is based on the spectral category of a Grothendieck category and uses its Boolean lattice of localising subcategories. The support provides a classification of…
In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, which provide a mathematical…
We define a natural 2-categorical structure on the base category of a large class of Grothendieck fibrations. Given any model category $\mathbf{C}$, we apply this construction to a fibration whose fibers are the homotopy categories of the…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
Based on Gandy's principles for models of computation we give category-theoretic axioms describing locally deterministic updates to finite objects. Rather than fixing a particular category of states, we describe what properties such a…
We show that the unbounded derived category of a Grothendieck category with enough projective objects is the base category of a derivator whose category of diagrams is the full 2-category of small categories. With this structure, we give a…
Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…
Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed…
Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each type a set of terms of said type. This is the case for…
We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…
We define a linear structure on Grothendieck's arithmetic fundamental group $\pi_1(X, x)$ of a scheme $X$ defined over a field $k$ of characteristic 0. It allows us to link the existence of sections of the Galois group ${\rm Gal}(\bar k/k)$…
The goal of this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\infty$-categorical approach, as developed by Lurie. Three…
Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…
This paper introduces the concept of gluing in a general category, enabling us to define categories that admit glued-up objects. To achieve this, we introduce the notion of a gluing index category. Subsequently, we provide an entirely…
We prove that the Grothendieck ring of the monoidal category of finitely generated graded projective modules for the nil-Brauer category is isomorphic to an integral form of the split iquantum group of rank one. Under this isomorphism, the…
The geometric Frobenius morphism on smooth varieties is an fppf-fiber bundle. We study representations of the structure group scheme. In particular, we describe irreducible representations and compute its Grothendieck ring of finite…
Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes,…
Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with distributed computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered…
We construct tensor and bitensor categories with given Grothedieck rig (fusion algebra) in simple cases. The results provide examples on which to test the conjectural construction of 4-D TQFT's proposed by Crane and Frenkel and shed light…