Related papers: Groupoidal Realizability for Intensional Type Theo…
A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories. Among the most successful approaches are: the use of wellfounded relations,…
The theory of shellable simplicial complexes brings together combinatorics, algebra, and topology in a remarkable way. Initially introduced by Alder for $q$-simplicial complexes, recent work of Ghorpade, Pratihar, and Randrianarisoa extends…
Given a category, one may construct slices of it. That is, one builds a new category whose objects are the morphisms from the category with a fixed codomain and morphisms certain commutative triangles. If the category is a groupoid, so that…
We establish new characterizations for (pseudo)isometric extensions of topological dynamical systems. For such extensions, we also extend results about relatively invariant measures and Fourier analysis that were previously only known in…
We consider the amenability of groupoids $G$ equipped with a group valued cocycle $c:G\to Q$ with amenable kernel $c^{-1}(e)$. We prove a general result which implies, in particular, that $G$ is amenable whenever $Q$ is amenable and if…
Given a locally compact \'etale groupoid and an ideal $I$ in its groupoid C$^*$-algebra, we show that $I$ defines a family of ideals in group C$^*$-algebras of the isotropy groups and then study to which extent $I$ is determined by this…
We prove that the derived category of $R$-linear representations of a finite group $G$ is stratified for any regular commutative ring $R$. As an application, we obtain a classification of localizing tensor ideals of ordinary $R$-linear…
Given a fibration of simply connected CW complexes of finite type, we study the evaluation subgroup of the fibre inclusion as an invariant of fibre-homotopy type. For spherical fibrations, we show the evaluation subgroup may be expressed as…
We construct a projective variety with discrete, non-finitely generated automorphism group. As an application, we show that there exists a complex projective variety with infinitely many non-isomorphic real forms.
It is well-known that for certain local connectivity assumptions the fundamental groupoid of a topological space can be equipped with a topology making it a topological groupoid. In other words, the fundamental groupoid functor can be…
Given a category fibered in groupoids over schemes with a log structure, one produces a category fibered in groupoids over log schemes. We classify the groupoid fibrations over log schemes that arise in this manner in terms of a categorical…
We define a class of algebras describing links of binary isolating formulas on a set of realizations for a family of 1-types of a complete theory. We prove that a set of labels for binary isolating formulas on a set of realizations for a…
Which groups can occur as the group of units in a ring? Such groups are called realizable. Though the realizable members of several classes of groups have been determined (e.g., cyclic, odd order, alternating, symmetric, finite simple,…
It is widely understood that the quotient space of a topological group action can have a complicated combinatorial structure, indexed somehow by the sotropy groups of the action, but how best to record this structure seems unclear. This…
This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict…
We study amenability of definable and topological groups. Among our main technical tools is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and some results around measures. As an application we…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
In this paper we consider simplicial families, that is, simplicial objects indexed by a simplicial set. We develop a method to construct family hypercover refinements of a cover family based on the notion of \emph{n-spans} that we introduce…
We raise the question of realizability of group actions which is an extended version of the 1960's Kahn realizability problem for (abstract) groups. Namely, if $M$ is a $\mathbb ZG$-module for a group $G$, we say that a simply-connected…
Homotopy Type Theory may be seen as an internal language for the $\infty$-category of weak $\infty$-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak $\infty$-groupoids as a new foundation…