Related papers: A groupoid formulation of the Baire Category Theor…

We introduce the first homotopic Baire class of maps as a homotopical counterpart of a usual first Baire class of maps between topological spaces and show that those classes with values in ANR spaces coincide

We prove the bounded packing property for any abelian subgroup of a group acting properly and cocompactly on a CAT(0) cube complex. A main ingredient of the proof is a cubical flat torus theorem. This ingredient is also used to show that…

We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between…

We give a new proof of the Gibbard-Satterthwaite Theorem. We construct two topological spaces: one for the space of preference profiles and another for the space of outcomes. We show that social choice functions induce continuous mappings…

In this paper, for given an algebraic theory $T$ whose category $C$ of models is semi-abelian, we consider the topological models of $T$ called topological $T$-algebras and obtain some results related to the fundamental groups of…

We prove that a topological Clifford semigroup $S$ is metrizable if and only if $S$ is an $M$-space and the set $E=\{e\in S:ee=e\}$ of idempotents of $S$ is a metrizable $G_\delta$-set in $S$. The same metrization criterion holds also for…

It is well known that the category of covering projections (that is, locally constant objects) of a locally connected topos is equivalent to the classifying topos of a strict progroupoid (or, equivalently, a localic prodiscrete groupoid),…

Let K be a p-adic field and F the function field of a curve over K. Let G be a connected linear algebraic group over F of classical type. Suppose the prime p is a good prime for G. Then we prove that projective homogeneous spaces under G…

We show that the topological full group of a Hausdorff ample groupoid with compact unit space coincides with the group of homotopy classes of invertible isometries in pseudofunction algebras associated with the groupoid. Moreover, if the…

We introduce a new notion of Morita equivalence for diffeological groupoids, generalising the original notion for Lie groupoids. For this we develop a theory of diffeological groupoid actions, -bundles and -bibundles. We define a notion of…

We prove a Berger type theorem for the normal holonomy group (i.e., the holonomy group of the normal connection) of a full complete complex submanifold of the complex projective space. Namely, if the normal holonomy does not act…

Here we unify two results of Steinhaus and their corresponding category analogues by extending them in the settings of category bases. We further show that in any perfect translation base, every abundant Baire set contains a full subset for…

In this paper we state and prove the analogous of the principal ideal theorem of algebraic number theory for the case of 3-manifolds from the point of view of arithmetic topology.

In this paper a Bass-Serre theory in the groupoid setting is developed and a structure theorem is established. Any groupoid action without inversion of edges on a forest induces a graph of groupoids, while any graph of groupoids satisfying…

Let $L(G)$ denote the space of integer-valued length functions on a countable group $G$ endowed with the topology of pointwise convergence. Assuming that $G$ does not satisfy any non-trivial mixed identity, we prove that a generic (in the…

We prove that every open $\sigma$-locally Polish groupoid $G$ is Borel equivalent to the groupoid of models on the Urysohn sphere $\mathbb{U}$ of an $\mathcal{L}_{\omega_1\omega}$-sentence in continuous logic. In particular, the orbit…

We give criteria for R-equivalence of torsors under finite constant group schemes over a field. In paticular, using bitorsors, we obtain a Galois devissage result which formalises and generalises a theorem of Philippe Gille in the case of…

We prove that if $G = G_1\times\dots\times G_n$ acts essentially, properly and cocompactly on a CAT(0) cube complex X, then the cube complex splits as a product. We use this theorem to give various examples of groups for which the minimal…

We introduce the universal Euler characteristic of orbit space definable groupoids, a class of groupoids containing cocompact proper Lie groupoids as well as translation groupoids associated to proper definable group actions. We show that…

We generalize the Pierce representation theorem for (commutative) rings with unit to other algebraic categories with Definable Factor Congruences by using tools from topos theory. Of independent interest, we prove that an algebraic category…