Related papers: What is an internal groupoid?
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…
We classify conjugacy classes of involutions in the isometry groups of nondegenerate, symmetric bilinear forms over the field of two elements. The new component of this work focuses on the case of an orthogonal form on an even dimensional…
We establish a close and previously unknown relation between quantales and groupoids, in terms of which the notion of etale groupoid is subsumed in a natural way by that of quantale. In particular, to each etale groupoid, either localic or…
A partial automorphism of a finite graph is an isomorphism between its vertex induced subgraphs. The set of all partial automorphisms of a given finite graph forms an inverse monoid under composition (of partial maps). We describe the…
Groupoid cardinality is an invariant of locally finite groupoids which has many of the properties of the cardinality of finite sets, but which takes values in all non-negative real numbers, and accounts for the morphisms of a groupoid.…
We say that a graph is intrinsically non-trivial if every spatial embedding of the graph contains a non-trivial spatial subgraph. We prove that an intrinsically non-trivial graph is intrinsically linked, namely every spatial embedding of…
In this article, we bring a new light on the concept of the inf-convolution operation $\oplus$ and provides additional informations to the work started in \cite{Ba1} and \cite{Ba2}. It is shown that any internal law of group metric…
The inner automorphisms of a group G can be characterized within the category of groups without reference to group elements: they are precisely those automorphisms of G that can be extended, in a functorial manner, to all groups H given…
In groups with involution a nonassociative product of elements is defined, which leads to the definition of a certain type of quasigroups. These quasigroups are represented by square tables of complex numbers, with inverses, which differ…
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…
A simple observation, showing that every groupoid becomes an inverse semigroup after adding one element. In such inverse semigroups all idempotents are mutually orthogonal. This fact implies that every C*-algebra of a discrete groupoid is a…
We define a bicategory with \'etale, locally compact groupoids as objects and suitable correspondences, that is, spaces with two commuting actions as arrows; the 2-arrows are injective, equivariant continuous maps. We prove that the usual…
We give several characterisations of groupoids determined by involutive automorphisms on semilattices of groups.
In this paper using split extensions of group-groupoids we obtain the notion of crossed modules over group-grouoids which are also called 2-groups and we prove a categorical equivalence of these types of crossed modules and double…
Let $G$ be a group. The directed endomorphism graph, $\dend(G)$ of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex $a$ to the vertex $b$ if $a \neq b$ and there exists an endomorphism on $G$ mapping…
We extend the definitions and main properties of graded extensions to the category of locally compact groupoids endowed with involutions. We introduce Real \v{C}ech cohomology, which is an equivariant-like cohomology theory suitable for the…
Topological groupoids admit various types of morphisms. We push these notions to the level of continuous groupoid actions to obtain various types of groupoid action morphisms. Some dynamical properties and their relation to these morphisms…
A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…
We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well…
Transformation groupoids associated to group actions capture the interplay between global and local symmetries of structures described in set-theoretic terms. This paper examines the analogous situation for structures described in…