Related papers: Polygraphs and Discrete Conduch{\'e} $\omega$-Func…

We develop a categorical framework for studying graphs of groups and their morphisms, with emphasis on pullbacks. More precisely, building on classical work by Serre and Bass, we give an explicit construction of the so-called…

We describe the full automorphism group of the directed reduced power graph and the undirected reduced power graph of a finite group. We compute the full automorphism groups of these graphs of several classes of finite groups. Also, we…

We introduce constructible directed complexes, a combinatorial presentation of higher categories inspired by constructible complexes in poset topology. Constructible directed complexes with a greatest element, called atoms, encompass common…

A classical result in complex geometry says that the automorphism group of a manifold of general type is discrete. It is more generally true that there are only finitely many surjective morphisms between two fixed projective manifolds of…

We study the category whose objects are graphs of fixed genus and whose morphisms are contractions. We show that the corresponding contravariant module categories are Noetherian and we study two families of modules over these categories.…

There are several compactification procedures in topology, but there is only one standard discretization, namely, replacing the original topology with the discrete topology. We give a notion of discretization which is dual (in categorical…

Following the recent advances in the study of groups of circle diffeomorphisms, we describe an efficient way of classifying the topological dynamics of locally discrete, finitely generated, virtually free subgroups of the group…

We consider generalizations of classical function spaces by requiring that a holomorphic in ${\Omega}$ function satisfies some property when we approach from ${\Omega}$, not the whole boundary, but only a part of it. These spaces endowed…

In this paper, firstly, we introduce a higher-dimensional analogue of hypergraphs, namely $\omega$-hypergraphs. This notion is thoroughly flexible because unlike ordinary $\omega$-graphs, an n-dimensional edge called an n-cell has many…

Polygraphs are a higher-dimensional generalization of the notion of directed graph. Based on those as unifying concept, this monograph on polygraphs revisits the theory of rewriting in the context of strict higher categories, adopting the…

Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…

In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using…

For a morphism of smooth schemes over a regular affine base we define functors of derived direct image and extraordinary inverse image on coderived categories of DG-modules over de Rham DG-algebras. Positselski proved that for a smooth…

A directed graph is set-homogeneous if, whenever U and V are isomorphic finite subdigraphs, there is an automorphism g of the digraph with U^g=V. Here, extending work of Lachlan on finite homogeneous digraphs, we classify finite…

Let $G$ be a group. The directed endomorphism graph, \dend of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex `$a$' to the vertex `$\, b$' $(a \neq b) $ if and only if there exists an endomorphism on…

Let $(S,\Phi)$ be a pair of a closed oriented surface and $\Phi$ be a real analytic flow with finitely many singularities. Let $x$ be a point of $S$ with the polycycle $\omega$-limit set $\omega(x)$. In this paper we give topological…

The higher rank graphs of Kumjian and Pask are discrete Conduche fibrations over the monoid of k-tuples of natural numbers for some k in which every morphism in the base has a finite preimage under the the fibration. We examine the…

Given a dimension function $\omega$, we define a notion of an $\omega$-vector weighted digraph and an $\omega$-equivalence between them. Then we establish a bijection between the weakly $(\mathbb{Z}/2)^n$-equivariant homeomorphism classes…

We investigate the notion of involutive weak globular $\omega$-categories via Jacque Penon's approach. In particular, we give the constructions of a free self-dual globular $\omega$-magma, of a free strict involutive globular…

We introduce two novel complementary notions of the Lefschetz number for a functor from a finite acyclic category to itself and we prove a Lefschetz fixed-object theorem and a Lefschetz fixed-morphism theorem. In order to do so, we use the…