In this paper, we show how certain metabelian groups can be found within polynomial evaluation groupoids. We show that every finite abelian group can beobtained as a polynomial evaluation groupoid.

An arbitrary Lie groupoid gives rise to a groupoid of germs of local diffeomorphisms over its base manifold, known as its e ect. The e ect of any bundle of Lie groups is trivial. All quotients of a given Lie groupoid determine the same e ect. It is natural to regard the e ects of any two Morita equivalent Lie groupoids as being equivalent . In this paper we shall describe a systematic way of co...

This paper is concerned with the algebraic structure of groupoids and crossed modules of groupoids. We describe the group structure of the automorphism group of a finite connected groupoid C as a quotient of a semidirect product. We pay particular attention to the conjugation automorphisms of C, and use these to define a new notion of groupoid action. We then show that the automorphism group of...

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...