Let G be a Lie groupoid over M such that the target-source map from G to M ×M is proper. We show that, if O is an orbit of finite type (i.e. which admits a proper function with finitely many critical points), then the restriction G|U of G to some neighborhood U of O in M is isomorphic to a similar restriction of the action groupoid for the linear action of the transitive groupoid G|O on the nor...

We introduce the notion of cofoliation on a stack. A cofoliation is a change of the differentiable structure which amounts to giving a full representable smooth epimorphism. Cofoliations are uniquely determined by their associated Lie algebroids. Cofoliations on stacks arise from flat connections on groupoids. Connections on groupoids generalize connections on gerbes and bundles in a natural wa...

We present a new approach to the amenability of groupoids (both in the measure theoretical and the topological setups) based on using Markov operators. We introduce the notion of an invariant Markov operator on a groupoid and show that the Liouville property (absence of non-trivial bounded harmonic functions) for such an operator implies amenability of the groupoid. Moreover, the groupoid actio...

Garside groupoids, as recently introduced by Krammer, generalise Garside groups. A weak Garside group is a group that is equivalent as a category to a Garside groupoid. We show that any periodic loop in a Garside groupoid G may be viewed as a Garside element for a certain Garside structure on another Garside groupoid Gm, which is equivalent as a category to G. As a consequence, the centraliser ...

We give an intuitionistic view of Seely’s interpretation of Martin-Löf’s intuitionistic type theory in locally cartesian closed categories. The idea is to use Martin-Löf type theory itself as metalanguage, and E-categories, the appropriate notion of categories when working in this metalanguage. As an E-categorical substitute for the formal system of Martin-Löf type theory we use E-categories wi...

Abstract. The generalized Effros-Hahn conjecture for groupoid C-algebras says that, if G is amenable, then every primitive ideal of the groupoid Calgebra C(G) is induced from a stability group. We prove that the conjecture is valid for all second countable amenable locally compact Hausdorff groupoids. Our results are a sharpening of previous work of Jean Renault and depend significantly on his ...

Quantum groupoids are a joint generalization of groupoids and quantum groups. We propose a definition of a compact quantum groupoid that is based on the theory of C *-algebras and Hilbert bimodules. The essential point is that whenever one has a tensor product over C in the theory of quantum groups, one now uses a certain tensor product over the base algebra of the quantum groupoid.

The concepts of ∈-soft sets and q-soft sets in AG-groupoids are introduced and some related properties are investigated. In particular, we describe the relationships among ordinary fuzzy interior ideals and soft interior ideals over an AG-groupoid S. Moreover, we study the relation-ships among (∈, ∈ ∨q)fuzzy interior ideals, ( ) , q ∈∈∨ -fuzzy interior ideals, (α; β)-fuzzy interior ideals and s...