The aim of this paper is to introduce the notion of cat$^{bf {1}}-$groupoids which are the groupoid version of cat$^{bf {1}}-$groups and to prove the categorical equivalence between crossed modules over groupoids and cat$^{bf {1}}-$groupoids. In section 4 we introduce the notions of crossed squares over groupoids and of cat$^{bf {2}}-$groupoids, and then we show their categories are equivalent....

We study precontact groupoids whose infinitesimal counterparts are Dirac-Jacobi structures. These geometric objects generalize contact groupoids. We also explain the relationship between precontact groupoids and homogeneous presymplectic groupoids. Finally, we present some examples of precontact groupoids.

in this paper, we introduce a considerable machinery which permits us to characterize a number of special (fuzzy) subsets in ag -groupoids. generalizing the concepts of (,q) -fuzzy bi-ideals (interior ideal), we define ( , ) k q -fuzzy bi-ideals, ( , ) k q -fuzzy left (right)-ideals and ( , ) k q -fuzzy interior ideals in ag -groupoids and discuss some fundamental aspects of these i...

We discuss two generalizations of Lie groupoids. One consists of Lie n-groupoids defined as simplicial manifolds with trivial πk≥n+1. The other consists of stacky Lie groupoids G ⇒ M with G a differentiable stack. We build a 1–1 correspondence between Lie 2-groupoids and stacky Lie groupoids up to a certain Morita equivalence. We prove this in a general set-up so that the statement is valid in ...

We define and make initial study of Lie groupoids equipped with a compatible homogeneity (or graded bundle) structure, such objects we will refer to as weighted Lie groupoids. One can think of weighted Lie groupoids as graded manifolds in the category of Lie groupoids. This is a very rich geometrical theory with numerous natural examples. Note that VB-groupoids, extensively studied in the recen...

Groupoids satisfying the equation x(yz) = (xy)(xz) are called left distributive, or LD-groupoids. We give an algorithm for their enumeration and prove several results on the collection of LD-groupoids extending a given monounary algebra.

Slim groupoids are groupoids satisfying x(yz) ≈ xz. We find all simple slim groupoids and all minimal varieties of slim groupoids. Every slim groupoid can be embedded into a subdirectly irreducible slim groupoid. The variety of slim groupoids has the finite embeddability property, so that the word problem is solvable. We introduce the notion of a strongly nonfinitely based slim groupoid (such g...

We prove that the category of boolean inverse monoids is dually equivalent to the category of boolean groupoids. This generalizes the classical Stone duality between boolean algebras and boolean spaces. As an instance of this duality, we show that the boolean inverse monoid Cn associated with the Cuntz groupoid Gn is the strong orthogonal completion of the polycyclic (or Cuntz) monoid Pn. The g...

We approach Mackenzie’s LA-groupoids from a supergeometric point of view by introducing Q-groupoids. A Q-groupoid is a groupoid object in the category of Q-manifolds, and there is a faithful functor from the category of LA-groupoids to the category of Q-groupoids. Using this approach, we associate to every LA-groupoid a double complex whose cohomology simultaneously generalizes Lie groupoid coh...

This paper describes a relationship between essentially finite groupoids and 2-vector spaces. In particular, we show to construct 2-vector spaces of Vect-valued presheaves on such groupoids. We define 2-linear maps corresponding to functors between groupoids in both a covariant and contravariant way, which are ambidextrous adjoints. This is used to construct a representation— a weak functor—fro...