Related papers: Brown representability for directed graphs

We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or…

A representation embedding between cartesian theories can be defined to be a functor between respective categories of models that preserves finitely-generated projective models and that preserves and reflects certain epimorphisms. This…

We study generic representations of general linear groups over a finite ring R with coefficients in a field k in which the cardinality of R is invertible, that is functors from finitely-generated projective R-modules to k-vector spaces. We…

The non--commuting graph $\Gamma(G)$ of a non--abelian group $G$ is defined as follows. The vertex set $V(\Gamma(G))$ of $\Gamma(G)$ is $G\setminus Z(G)$ where $Z(G)$ denotes the center of $G$ and two vertices $x$ and $y$ are adjacent if…

We prove that the cut space of any transitive graph $G$ is a finitely generated ${\rm Aut}(G)$-module if the same is true for its cycle space. This confirms a conjecture of Diestel which says that every locally finite transitive graph whose…

We show that the category of V-groups, where V is a cartesian quantale, so in particular the category of preordered groups, is locally algebraically cartesian closed with respect to the class of points underlying the product V-category…

We show that a group admits a planar, finitely generated Cayley graph if and only if it admits a special kind of group presentation we introduce, called a planar presentation. Planar presentations can be recognised algorithmically. As a…

An adjoint pair of contravariant functors between abelian categories can be extended to the adjoint pair of their derived functors in the associated derived categories. We describe the reflexive complexes and interpret the achieved results…

We show that the action of spacetime vector fields on the variational bicomplex of general relativity has a homotopy momentum map that extends the map from vector fields to conserved currents given by Noether's first theorem to a morphism…

We study chain complexes of field configurations and observables for Abelian gauge theory on contractible manifolds, and show that they can be extended to non-contractible manifolds by using techniques from homotopy theory. The extension…

Let $X$ be a projective scheme over a noetherian base scheme $S$, and let $F$ be a coherent sheaf on $X$. For any coherent sheaf $E$ on $X$, consider the set-valued contravariant functor $Hom_{E,F}$ on $S$-schemes, defined by $Hom_{E,F}(T)…

For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…

For any discrete group $\Gamma$ and any 2-dimensional complex representation $\rho$ of $\Gamma$, we introduce the notion of $\rho-$equivariant functions, and we show that they are parameterized by vector-valued modular forms. We also…

In this article we show that there are branching systems (which induce representations of the graph algebra $C^*(E)$) associated to each row-countable graph $E$. For row-countable graphs, we characterize the condition $(L)$ via branching…

For any graph, we show that the graded permutation representation of the graph automorphism group given by matchings is strongly equivariantly log-concave. The proof gives a family of equivariant injections inspired by a combinatorial map…

We compare the bicategory of spans with that of bisets (a.k.a. bimodules, distributors, profunctors) in the context of finite groupoids. We construct in particular a well-behaved pseudo-functor from spans to bisets. This yields an…

We apply the notion of relative adjoint functor to generalise closed monoidal categories. We define representations in such categories and give their relation with left actions of monoids. The translation of these representations under lax…

We continue to investigate branching systems of directed graphs and their connections with graph algebras. We give a sufficient condition under which the representation induced from a branching system of a directed graph is faithful and…

We give a purely derivator-theoretical reformulation and proof of a classic result of Happel and Ladkani, showing that it occurs uniformly across stable derivators and it is then independent of coefficients. The resulting equivalence…

In this paper we will prove that there exists a covariant functor, called algebraic anabelian functor, from the category of algebraic schemes over a given field to the category of outer homomorphism sets of groups. The algebraic anabelian…