Related papers: Etale groupoids and their quantales
We modify the definition of spherical knotoids to include a framing, in analogy to framed knots, and define a further modification that includes a secondary 'coframing' to obtain 'biframed' knotoids. We exhibit topological spaces whose…
This paper introduces a notion of presentation for locally inverse semigroups and develops a graph structure to describe the elements of locally inverse semigroups given by these presentations. These graphs will have a role similar to the…
In this paper we characterize the projective modules over an arbitrary quantale, and then we apply such a characterization in order to define the K_0 group of a quantale. Then we study congruences of quantales and quantale modules by means…
We provide a unified treatment of several results concerning full groups of ample groupoids and paradoxical decompositions attached to them. This includes a criterion for the full group of an ample groupoid being amenable as well as…
Quantum groups have been widely explored as a tool to encode possible nontrivial generalisations of reference frame transformations, relevant in quantum gravity. In quantum information, it was found that the reference frames can be…
Let $\Gamma$ be a discrete finitely generated group. Let $\hat{M}\to T$ be a $\Gamma$-equivariant fibration, with fibers diffeomorphic to a fixed even dimensional manifold with boundary $Z$. We assume that $\Gamma\to \hat{M}\to…
We present a higher index theorem for a certain class of etale one-dimensional complex-analytic groupoids. The novelty is the use of the local anomaly formula established in a previous paper, which represents the bivariant Chern character…
We fix a path model for the space of filters of the inverse semigroup $\mathcal{S}_\Lambda$ associated to a left cancellative small category $\Lambda$. Then, we compute its tight groupoid, thus giving a representation of its $C^*$-algebra…
The quantum completion of the space of connections in a manifold can be seen as the set of all morphisms from the groupoid of the edges of the manifold to the (compact) gauge group. This algebraic construction generalizes an analogous…
It is well-known that a knot in a contact manifold $(M,C)$ transverse to a trivialized contact structure possesses the natural framing given by the first of the trivialization vectors along the knot. If the Euler class $e_C\in H^2(M)$ of…
We start by reviewing the relation between toposes and Grothendieck quantales. We improve results of previous work on this relation by giving both a characterisation of the map from the tensor product of two internal sup-lattices to another…
Let $\mathsf{Q}$ be a commutative and unital quantale. By a $\mathsf{Q}$-map we mean a left adjoint in the quantaloid of sets and $\mathsf{Q}$-relations, and by a partial $\mathsf{Q}$-map we refer to a Kleisli morphism with respect to the…
Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to…
We present some homological properties of a relation $\beta$ on ordered groupoids that generalises the minimum group congruence for inverse semigroups. When $\beta$ is a transitive relation on an ordered groupoid $G$, the quotient $G /…
The notion of local equivalence relation on a topological space is generalised to that of local subgroupoid. The main result is the construction of the holonomy and monodromy groupoids of certain Lie local subgroupoids, and the formulation…
By restricting to a class of localic open groupoids $G$ which, similarly to Lie groupoids, possess appropriate covers $\widehat G\to G$ by \'etale groupoids, we extend results about groupoid actions and quantales that were previously proved…
The classical theory of invariant means, which plays an important role in the theory of paradoxical decompositions, is based upon what are usually termed `pseudogroups'. Such pseudogroups are in fact concrete examples of the Boolean inverse…
We study the local isomorphism classes, also known as genera or weak equivalence classes, of fractional ideals of orders in \'etale algebras. We provide a classification in terms of linear algebra objects over residue fields. As a…
We give a new characterization of partial groups as a subcategory of symmetric (simplicial) sets. This subcategory has an explicit reflection, which permits one to compute colimits in the category of partial groups. We also introduce the…
We investigate various groupoids associated to an arbitrary inverse semigroup with zero. We show that the groupoid of filters with respect to the natural partial order is isomorphic to the groupoid of germs arising from the standard action…