Related papers: An inductive-recursive universe generic for small …
We consider local-global principles for torsors under linear algebraic groups, over function fields of curves over complete discretely valued fields. The obstruction to such a principle is a version of the Tate-Shafarevich group; and for…
Induction is the process by which we obtain predictive laws or theories or models of the world. We consider the structural aspect of induction. We answer the question as to whether we can find a finite and minmalistic set of operations on…
We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real…
We introduce group surface codes, which are a natural generalization of the $\mathbb{Z}_2$ surface code, and equivalent to quantum double models of finite groups with specific boundary conditions. We show that group surface codes can be…
In this paper, we have obtained a generalization of the Grothendieck's theorem for the space of continuous mappings $C_{\lambda,\mu}(X,Y)$ where $Y$ is a complete uniform space with the uniformity $\mu$ endowed with the topology of uniform…
In this paper we examine the natural interpretation of a ramified type hierarchy into Martin-L\"of type theory with an infinite sequence of universes. It is shown that under this predicative interpretation some useful special cases of…
Let S be a closed orientable surface of genus at least two, and let C be an arbitrary (complex) projective structure on S. We show that there is a decomposition of S into pairs of pants and cylinders such that the restriction of C to each…
By using two different invariants for the Rubik's Magic puzzle, one of metric type, the other of topological type, we can dramatically reduce the universe of constructible configurations of the puzzle. Finding the set of actually…
Suppose that \Delta, \Delta' are two buildings each arising from a semisimpe algebraic group over a field, a topological field in the former case, and that for both the buildings the Coxeter diagram has no isolated nodes. We give conditions…
We study the representations of non-commutative universal lattices and use them to compute lower bounds for the \TauC for the commutative universal lattices $G_{d,k}= \SL_d(\Z[x_1,...,x_k])$ with respect to several generating sets. As an…
Starting from a generalized Reedy category $R$ satisfying a simple condition, we construct an absolutely dense functor $\mathbf{D}_R \to R$ with domain a strict Reedy category. In the case of a generalized inverse category $R$, and given…
We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories…
We give proofs of G\"odel's incompleteness theorems after A. Joyal. The proof uses internal category theory in an arithmetic universe, a predicative generalisation of topoi. Applications to L\"ob's Theorem are discussed.
We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant,…
In this paper we show that counting Grothendieck's dessins d'enfants is universal in the sense that some other enumerative problems are either special cases or directly related to it. Such results provide concrete examples that support a…
We study the simply connected inextendable Lorentzian surfaces admitting a Killing vector field. We construct a natural family of such surfaces, that we call "universal extensions". They are characterized by a condition of symmetry, the…
We exhibit a computational type theory which combines the higher-dimensional structure of cartesian cubical type theory with the internal parametricity primitives of parametric type theory, drawing out the similarities and distinctions…
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
In the present paper we investigate the question about the injectivity of the map F(R) --> F(K) induced by the canonical inclusion of a local regular ring of geometric type R to its field of fractions K for a homotopy invariant functor F…
We define a universe as the contents of a spacetime box with comoving walls, large enough to contain essentially all phenomena that can be conceivably measured. The initial time is taken as the epoch when the lowest CMB modes undergo…