Related papers: Groupoids, root systems and weak order II
Given a category with a bifunctor and natural isomorphisms for associativity, commutativity and left and right identity we do not assume that extra constraining diagrams hold. We introduce groupoids of coupling trees to describe a version…
In this article we explore a non-abelian torsion theory in the category of preordered groups: the objects of its torsion-free subcategory are the partially ordered groups, whereas the objects of the torsion subcategory are groups (with the…
Double groupoids are a type of higher groupoid structure that can arise when one has two distinct groupoid products on the same set of arrows. A particularly important example of such structures is the irrational torus and, more generally,…
We introduce the notion of groupoidal (weak) test category, which is a small category A such that the groupoid-valued presheaves over A models homotopy types in a "canonical and nice" way. The definition does not require a priori that A is…
We describe an algebraic proof of the well-known topological fact that $\pi_1(SO(n)) \cong Z/2Z$. The fundamental group of $SO(n)$ appears in our approach as the center of a certain finite group defined by generators and relations. The…
In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same…
In this paper we introduce the galaxy of Coxeter groups -- an infinite dimensional, locally finite, ranked simplicial complex which captures isomorphisms between Coxeter systems. In doing so, we would like to suggest a new framework to…
In this paper we introduce the concept of generalized vector groupoid. Several properties of them are established.
We investigate the rational cohomology of the quotient of (generalized) braid groups by the commutator subgroup of the pure braid groups. We provide a combinatorial description of it using isomorphism classes of certain families of graphs.…
This is the second of two papers where we study polytopes arising from affine Coxeter arrangements. Our results include a formula for their volumes, and also compatible definitions of hypersimplices, descent numbers and major index for all…
We present groupoid morphisms as an algebraic structure for nonautonomous dynamics, as well as a generalization of group morphisms, which describe classic dynamical systems. We introduce the structure of cotranslations, as a specific kind…
At present, practical application and theoretical discussion of rough sets are two hot problems in computer science. The core concepts of rough set theory are upper and lower approximation operators based on equivalence relations. Matroid,…
Let W be an infinite Coxeter group. We initiate the study of the set E of limit points of "normalized" positive roots (representing the directions of the roots) of W. We show that E is contained in the isotropic cone of the bilinear form B…
This expository paper recounts the development and application of the concept of the diffeological groupoid, from its introduction in 1985 to its use in current research. We demonstrate how this single concept has served as a powerful and…
The entries of frieze patterns may be interpreted as coordinates of roots of a finite Weyl groupoid of rank two. We prove the existence of maximal elements in their root posets and classify those frieze patterns which can be used to build…
In this paper, we investigate various properties of strong and weak twisted Bruhat orders on a Coxeter group. In particular, we prove that any twisted strong Bruhat order on an affine Weyl group is locally finite, strengthening a result of…
Grothendieck proved that any finite epimorphism of noetherian schemes factors into a finite sequence of effective epimorphisms. We define the complexity of a flat groupoid $R\rightrightarrows X$ with finite stabilizer to be the length of…
In this paper, we establish a one-to-one correspondence between the set of biclosed sets in an irreducible root system of type $A_n$ and the set of quasitrivial semigroup structures on a set with $n+1$ elements. Building on this…
We elaborate on the representation theorems of topoi as topoi of discrete actions of various kinds of localic groups and groupoids. We introduce the concept of "proessential point" and use it to give a new characterization of pointed Galois…
A binary operation on any set induces a binary operation on its subsets. We explore families of subsets of a group that become a group under the induced operation and refer to such families as power groups of the given group. Our results…