Related papers: What is an internal groupoid?
We explain the notion of a grope cobordism between two knots in a 3-manifold. Each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro…
We investigate various groupoids associated to an arbitrary inverse semigroup with zero. We show that the groupoid of filters with respect to the natural partial order is isomorphic to the groupoid of germs arising from the standard action…
In this paper we study the Lie groupoids which appear in foliation theory. A foliation groupoid is a Lie groupoid which integrates a foliation, or, equivalently, whose anchor map is injective. The first theorem shows that, for a Lie…
Any group $G$ gives rise to a 2-group of inner automorphisms, $\mathrm{INN}(G)$. It is an old result by Segal that the nerve of this is the universal $G$-bundle. We discuss that, similarly, for every 2-group $G_{(2)}$ there is a 3-group…
We study the involution of the real line induced by the outer automorphism of the extended modular group PGL(2,Z). This `modular' involution is discontinuous at rationals but satisfies a surprising collection of functional equations. It…
A travel groupoid is an algebraic system satisfying two suitable conditions, which has a relation to graphs. In this article, we characterize travel groupoids on finite complete multipartite graphs, and we give the numbers of travel…
A Delta-groupoid is an algebraic structure which axiomatizes the combinatorics of a truncated tetrahedron. By considering two simplest examples coming from knot theory, we illustrate how can one associate a Delta-groupoid to an ideal…
We give an algebraic characterisation of ordered groupoids, namely, we show that there is a categorical isomophism between the category of ordered groupoids and the category of $D$-inverse constellations. Here constellations are partial…
A typoid is a type equipped with an equivalence relation, such that the terms of equivalence between the terms of the type satisfy certain conditions, with respect to a given equivalence relation between them, that generalise the properties…
It is shown that each integrable mapping is connected with a hierarchical completely integrable sytem of equations of evolution type which are invariant with respect to the transformation described by this mapping.
A finite graph is called a tricirculant if admits a cyclic group of automorphism which has precisely three orbits on the vertex-set of the graph, all of equal size. We classify all finite connected cubic vertex-transitive tricirculants. We…
Graph transformations definable in logic can be described using the notion of transductions. By understanding transductions as a basic embedding mechanism, which captures the possibility of encoding one graph in another graph by means of…
Let $\mathcal{L}$ be a centric linking system associated to a saturated fusion system on a finite $p$-group $S$. An automorphism of $\mathcal{L}$ is said to be rigid if it restricts to the identity on the fusion system. An inner rigid…
The aim of this paper is to study the evolution of a material point of a body by itself, and not the body as a whole. To do this, we construct a groupoid encoding all the intrinsic properties of the particle and its characteristic…
Inverse braid monoid describes a structure on braids where the number of strings is not fixed. So, some strings of initial $n$ may be deleted. In the paper we show that many properties and objects based on braid groups may be extended to…
We introduce the notion of iterated group extensions, which, roughly speaking, is what one obtains by forming a group extension of a group extension. We interpret iterated extensions in terms of group cohomology, in the same way as…
We show that the categories of directed and undirected reflexive graphs carry exactly two (up to isomorphism) biclosed monoidal structures.
We extend the formalism of embedded spin networks and spin foams to include topological data that encode the underlying three-manifold or four-manifold as a branched cover. These data are expressed as monodromies, in a way similar to the…
A homological invariant of 3-manifolds is defined, using abelian Yang-Mills gauge theory. It is shown that the construction, in an appropriate sense, is functorial with respect to the families of 4-dimensional cobordisms. This construction…
It has been proven by Schupp and Bergman that the inner automorphisms of groups can be characterized purely categorically as those group automorphisms that can be coherently extended along any outgoing homomorphism. One is thus motivated to…