We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as the appropriate algebraic structures for dealing with conditional symmetries in Constraint Satisfaction Problems (CSPs). We formally define the Full Conditional Symmetry Groupoid associated with any CSP, giving bounds fo...

We investigate the algebra of an ample groupoid, introduced by Steinberg, over a semifield S. In particular, we obtain complete characterization congruence-simpleness for Steinberg algebras second-countable groupoids, extending well-known characterizations when S is field. apply our congruence-simplicity results to tight groupoids inverse semigroup representations associated self-similar graphs.

We start by describing the relationship between the classical prequantization condition and the integrability of a certain Lie algebroid associated to the problem and use this to give a global construction of the prequantizing bundle in terms of path spaces (Introduction), then we rephrase the problem in terms of groupoids (second section), and then we study the more general problem of prequant...

Let I be a small indexing category, G : I → Cat be a functor and BG ∈ Cat denote the Grothendieck construction on G. We define and study Quillen pairs between the category of diagrams of simplicial sets (resp. categories) indexed on BG and the category of I-diagrams over N(G) (resp. G). As an application we obtain a Quillen equivalence between the categories of presheaves of simplicial sets (re...

Let I be a small indexing category, G : I → Cat be a functor and BG ∈ Cat denote the Grothendieck construction on G. We define and study Quillen pairs between the category of diagrams of simplicial sets (resp. categories) indexed on BG and the category of I-diagrams over N(G) (resp. G). As an application we obtain a Quillen equivalence between the categories of presheaves of simplicial sets (re...

Given groupoids G and H as well as an isomorphism Ψ : Sd G∼= Sd Hbetween subdivisions, we construct an isomorphism P : G∼= H . If Ψ equals SdF forsome functor F , then the constructed isomorphism P is equal to F . It follows thatthe restriction of Sd to the category of groupoids is conservative. These results donot hold for arbitrary categories.

A very simple proof of the finite embeddability property for residuated distributivelattice-ordered groupoids and some related classes of algebras is presented. In particular, this gives an answer to the question posed in [3, Problem 4.2]. The presented construction allows for improvement of the upper bound on the complexity of the decision procedure for the universal theory of residuated distr...

Mimicking a recent article of Stefaan Vaes, in which was proved that every locally compact quantum group can act outerly, we prove that we get the same result for measured quantum groupoids, with an appropriate definition of outer actions of measured quantum groupoids. This result is used to show that every measured quantum groupoid can be found from some depth 2 inclusion of von Neumann algebras.