English
Related papers

Related papers: Digraph functors which admit both left and right a…

200 papers

We prove how the universal enveloping algebra constructions for Lie-Rinehart algebras and anchored Lie algebras are naturally left adjoint functors. This provides a conceptual motivation for the universal properties these constructions…

Rings and Algebras · Mathematics 2022-03-31 Paolo Saracco

In the theory of operads we consider functors of generalized symmetric powers defined by sums of coinvariant modules under actions of symmetric groups. One observes classically that the construction of symmetric functors provides an…

Algebraic Topology · Mathematics 2009-02-25 Benoit Fresse

We fix any bicategory $\mathscr{A}$ together with a class of morphisms $\mathbf{W}_{\mathscr{A}}$, such that there is a bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$. Given another such pair…

Category Theory · Mathematics 2014-11-24 Matteo Tommasini

Let $G$ be a finite group and let $N$ be a normal subgroup of $G$. We attach to $N$ two graphs ${\Gamma}_G(N)$ and ${\Gamma}^{\ast}_G(N)$ related to the conjugacy classes of $G$ contained in $N$ and to the set of primes dividing the sizes…

Group Theory · Mathematics 2024-02-12 Antonio Beltrán , María José Felipe , Carmen Melchor

We investigate criteria ensuring that a one-relator group $G$ contains a right-angled Artin subgroup $A(\Gamma)$, corresponding to a finite graph $\Gamma$. In particular, we prove that if $\Gamma$ is a forest with at least one edge and the…

Group Theory · Mathematics 2025-08-01 Ashot Minasyan , Motiejus Valiunas

For an integer $t \geq 1$, a homomorphism of a digraph G to a digraph $H$ is $t$-frugal if no more than $t$ in-neighbours of any vertex of $G$ have the same image. There is a dichotomy theorem based on structural properties when $t=1$ and…

Combinatorics · Mathematics 2026-05-26 Stefan Bard , Gary MacGillivray , Jacobus Swarts

Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…

Category Theory · Mathematics 2011-05-11 Pierre Gillibert , Friedrich Wehrung

We prove an unstraightening result for lax transformations between functors from an arbitrary $(\infty,2)$-category to that of $(\infty,2)$-categories. We apply this to study partially (op)lax and weighted (co)limits, giving fibrational…

Category Theory · Mathematics 2024-04-08 Fernando Abellán , Andrea Gagna , Rune Haugseng

We show how the formal Wirthmuller isomorphism theorem proven in "Isomorphisms between left and right adjoints", by Fausk, Hu, and May, simplifies the proof of the Wirthmuller isomorphism in equivariant stable homotopy theory. Other…

Algebraic Topology · Mathematics 2007-05-23 J. P. May

A graph is said to be orthogonalisable if the set of real symmetric matrices whose off-diagonal pattern is prescribed by its edges contains an orthogonal matrix. We determine some necessary and some sufficient conditions on the sizes of the…

Combinatorics · Mathematics 2025-06-16 Rupert H. Levene , Polona Oblak , Helena Šmigoc

We define a left quotient as well as a right quotient of two bounded operators between Hilbert spaces, and we parametrize these two concepts using the Moore-Penrose inverse. In particular, we show that the adjoint of a left quotient is a…

Spectral Theory · Mathematics 2020-09-03 Mohammed Benharrat

Two plane drawings of graphs on the same set of points are called disjoint compatible if their union is plane and they do not have an edge in common. Let $S$ be a convex point set of $2n \geq 10$ points and let $\mathcal{H}$ be a family of…

Computational Geometry · Computer Science 2024-09-06 Oswin Aichholzer , Julia Obmann , Pavel Paták , Daniel Perz , Josef Tkadlec , Birgit Vogtenhuber

The notion of left (resp. right) regular object of a tensor C*-category equipped with a faithful tensor functor into the category of Hilbert spaces is introduced. If such a category has a left (resp. right) regular object, it can be…

Operator Algebras · Mathematics 2007-05-23 Claudia Pinzari , John E. Roberts

We introduce a notion of compatibility for multiplicity matrices. This gives rise to a necessary condition for the join of two (possibly disconnected) graphs $G$ and $H$ to be the pattern of an orthogonal symmetric matrix, or equivalently,…

Combinatorics · Mathematics 2020-12-24 Rupert H. Levene , Polona Oblak , Helena Šmigoc

For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove…

Category Theory · Mathematics 2026-02-04 Lucrezia Bottegoni , Zhenbang Zuo

A structure is called homogeneous if every isomorphism between finitely induced substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Ne\v{s}et\v{r}il introduced a relaxed version of…

Combinatorics · Mathematics 2009-12-31 Dragan Mašulović , Rajko Nenadov , Nemanja Škorić

The hammock localization provides a model for a homotopy function complex in any Quillen model category. We prove that a homotopy between a pair of morphisms induces a homotopy between the maps induced by taking the hammock localization. We…

Algebraic Topology · Mathematics 2015-12-21 Oriol Raventós

Given a group $G$ and an automorphism $\varphi$ of $G$, two elements $x, y \in G$ are said to be $\varphi$-conjugate if $x = g y \varphi(g)^{-1}$ for some $g \in G$. The number of equivalence classes is the Reidemeister number $R(\varphi)$…

Group Theory · Mathematics 2021-05-05 Karel Dekimpe , Pieter Senden

Let $U$ be a silting object in a derived category over a dg-algebra $A$, and let $B$ be the endomorphism dg-algebra of $U$. Under some appropriate hypotheses, we show that if $U$ is good, then there exist a dg-algebra $C$, a homological…

Category Theory · Mathematics 2019-12-09 Rongmin Zhu , Jiaqun Wei

Given a functor $p:E \rightarrow B$ and an object $e \in E$ , we define a \emph{displacement} of $e$ along a morphism $\varepsilon: p(e) \rightarrow b$, as a map $e \rightarrow \nabla_\varepsilon(e)$ satisfying a universal property analogue…

Category Theory · Mathematics 2014-07-10 Hugo V. Bacard