Related papers: A 2-Site for Continuous 2-Group Actions
This paper introduces the notion of complete connectedness of a Grothendieck topos, defined as the existence of a left adjoint to a left adjoint to a left adjoint to the global sections functor, and provides many examples. Typical examples…
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…
In this paper, we consider semigroup actions of discrete countable semigroups on compact spaces by surjective local homeomorphisms. We introduce notions of continuous one-sided orbit equivalence and continuous orbit equivalence for…
Given a graded ample Hausdorff groupoid, we realise its graded Steinberg algebra as a partial skew inverse semigroup ring. We use this to show that for a partial action of a discrete group on a locally compact Hausdorff topological space,…
In the context of relative topos theory via stacks, we introduce the notion of existential fibred site and of existential topos of such a site. These notions allow us to develop relative topos theory in a way which naturally generalizes the…
In this monograph we lay the foundation for a theory of coarse groups and coarse actions. Coarse groups are group objects in the category of coarse spaces, and can be thought of as sets with operations that satisfy the group axioms "up to…
A group action H on X is called "telescopic" if for any finitely presented group G, there exists a subgroup H' in H such that G is isomorphic to the fundamental group of X/H'. We construct examples of telescopic actions on some CAT[-1]…
Pronk's theorem on bicategories of fractions is applied, in almost all cases in the literature, to 2-categories of geometrically presentable stacks on a 1-site. We give an proof that subsumes all previous such results and which is purely…
The group of continuous binary operations on a topological space is studied; its relationship with the group of homeomorphisms is established. The category of binary $G$-spaces and bi-equivariant maps is constructed, which is a natural…
We further develop Weber's notion of elementary 2-topos by proposing certain new axioms. We show that in a 2-category C satisfying these axioms, the "discrete opfibration (DOF) classifier" S is always an internal elementary 1-topos, in an…
We define the orbit category for transitive topological groupoids and their equivariant CW-complexes. By using these constructions we define equivariant Bredon homology and cohomology for actions of transitive topological groupoids. We show…
We define the action of a locally compact group $G$ on a topological graph $E$. This action induces a natural action of $G$ on the $C^*$-correspondence ${\mathcal H}(E)$ and on the graph $C^*$-algebra $C^*(E)$. If the action is free and…
We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…
In this paper we study analogues of amenability for topological groups in the context of definable structures. We prove fixed point theorems for such groups. More importantly, we propose definitions for definable actions and continuous…
In Categorial Topology, given a category (as a "geometric object") we can consider its properties preserved under continuous action (a "deformation") of a comma-propagation operation. However, the Metacategory space, valid for all…
In this paper we discuss some enlargements of the category of sets with semigroup actions and equivariant functions. We show that these enlarged categories possess two idempotent endofunctors. In the case of groups these enlarged categories…
Let k be an algebraically closed field of characteristic p>>0. Let $X\rightarrow Y$ be a symplectic resolution. There are two questions which motivates this work. One question is a construction of an action of a group on the category…
The main aim of the present work is to arrive at a mathematical theory close to the historically original conception of generalized functions, i.e. set theoretical functions defined on, and with values in, a suitable ring of scalars and…
Actions of bicategories arise as categorification of actions of categories. They appear in a variety of different contexts in mathematics, from Moerdijk's classification of regular Lie groupoids in foliation theory, to Waldmann's work on…
An analogue of Burnside's Lemma for 2-transitive groups is shown to hold for a class of topological groups. If the group is compact the representation is finite and splits into an irreducible and the constant functions. If both the group…