Related papers: $\mathbb{P}(q)$-Groupoids of Conway Type
The coordinate projective line over a field is seen as a groupoid with a further `projection' structure. We investigate conversely to what extent such an, abstractly given, groupoid may be coordinatized by a suitable field constructed out…
When G is a finite abelian group, we define G-spans of groupoids and their associated matrices with entries in the group ring QG and show that composition of spans corresponds to multiplication of matrices.
In this paper, we investigate groupoids coming from configurations of lines in three-dimensional space. Given a point and two skew lines in $\mathbb{P}^{3}_{K}$ over a field $K$, there exists a unique line containing the given point and…
We show how the C*-algebras of quantum complex projective spaces (standard or nonstandard) are related to groupoids.
The aim of this paper is to explain, mostly through examples, what groupoids are and how they describe symmetry. We will begin with elementary examples, with discrete symmetry, and end with examples in the differentiable setting which…
By extending type theory with a universe of definitionally associative and unital polynomial monads, we show how to arrive at a definition of opetopic type which is able to encode a number of fully coherent algebraic structures. In…
We record for reference a detailed description of the automorphism groups of the groups of order $p^{2} q$, where $p$ and $q$ are distinct primes.
In this paper, we initiate a systematic study of entanglements of division fields from a group theoretic perspective. For a positive integer $n$ and a subgroup $G\subseteq \text{GL}_2(\mathbb{Z}/{n}\mathbb{Z})$ with surjective determinant,…
The main purpose of this paper is to give a new definition for the notion of group-groupoid. Also, several basic properties of group-groupoids are established.
A subcategory $\textbf{C}$ of a groupoid $\mathbb{G}$ is a left order in $\mathbb{G}$, if every element of $\mathbb{G}$ can be written as $a^{-1}b$ where $a, b \in \textbf{C}$. A subsemigroupoid $\mathfrak{C}$ of a groupoid $\mathbb{G}$ is…
Given a category, one may construct slices of it. That is, one builds a new category whose objects are the morphisms from the category with a fixed codomain and morphisms certain commutative triangles. If the category is a groupoid, so that…
We approach Mackenzie's LA-groupoids from a supergeometric point of view by introducing Q-groupoids, which are groupoid objects in the category of Q-manifolds. There is a faithful functor from the category of LA-groupoids to the category of…
A $2-(n,4,\lambda)$ design $(\Omega, \mathcal{B})$ is said to be supersimple if distinct lines intersect in at most two points. From such a design, one can construct a certain subset of Sym$(\Omega)$ called a "Conway groupoid". The…
We start with $n$-torsions in the Jacobian of an $m$-gonal curve and produce $n$-torsions in the class group of certain number field $K$.
We study normed groupoids with dilations and their induced deformations.
A group, defined as set with associative multiplication and inverse, is a natural structure describing the symmetry of a space. The concept of group generalizes to group objects internal to other categories than sets. But there are yet more…
Topos properties of the category of covering groupoids over a fixed groupoid are discussed. A classification result for connected covering groupoids over a fixed groupoid analogous to the fundamental theorem of Galois theory is given.
In a stable theory, a stationary type $q \in S(A)$ internal to a family of partial types $\mathcal{P}$ over $A$ gives rise to a type-definable group, called its binding group. This group is isomorphic to the group…
In this paper we construct two groupoids from morphisms of groupoids, with one from a categorical viewpoint and the other from a geometric viewpoint. We show that for each pair of groupoids, the two kinds of groupoids of morphisms are…
The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences of rewrites', computational paths can be seen as the grounds on which the…