Related papers: On satellites in arbitrary categories
Let $G$ be a complex connected reductive algebraic group. Given a spherical subgroup $H \subset G$ and a subset $I$ of the set of spherical roots of $G/H$, we define, up to conjugation, a spherical subgroup $H_I \subset G$ of the same…
The satellite endofunctors are used to extend the definition of linkage of ideals to the linkage of totally finitely presented functors. The new notion for linkage works over a larger class of rings and is consistent with the functorial…
Working in a semi-abelian context, we use Janelidze's theory of generalised satellites to study universal properties of the Everaert long exact homology sequence. This results in a new definition of homology which does not depend on the…
The notion of a joint system, as captured by the monoidal (a.k.a. tensor) product, is fundamental to the compositional, process-theoretic approach to physical theories. Promonoidal categories generalise monoidal categories by replacing the…
For an oriented surface link $F$ in $\mathbb{R}^4$, we consider a satellite construction of a surface link, called a 2-dimensional braid over $F$, which is in the form of a covering over $F$. We introduce the notion of an $m$-chart on a…
In this note we give a self-contained proof of a fundamental statement in the study of cosheaves over a poset. Specifically, if a functor has domain a poset and co-domain a co-complete category, then the left Kan extension of that functor…
There are many contexts in algebraic geometry, algebraic topology, and homological algebra where one encounters a functor that has both a left and right adjoint, with the right adjoint being isomorphic to a shift of the left adjoint…
This paper introduces the notion of complete connectedness of a Grothendieck topos, defined as the existence of a left adjoint to a left adjoint to a left adjoint to the global sections functor, and provides many examples. Typical examples…
We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…
Navigation satellites are a core component of navigation satellite based systems such as GPS, GLONASS and Galileo which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to…
We present two results on the relation between the class of right regular bands (RRBs) and their underlying *associative posets*. The first one is a construction of a left adjoint to the forgetful functor that takes an RRB $(P,\cdot)$ to…
We construct infinitely many families of Lorenz knots that are satellites but not cables, giving counterexamples to a conjecture attributed to Morton. We amend the conjecture to state that Lorenz knots that are satellite have companion a…
In this work, we investigate an effective method for showing that functors between categories are left adjoints. The method applies to a large class of categories, namely locally finitely presentable categories, which are ubiquitous in…
We provide bicategorical analogs of several aspects of the notion of geometry in the sense of the theory of spectrum. We first introduce a notion of local right biadjoint, and prove it to be equivalent to a notion of bistable pseudofunctor,…
Cosheaves are a dual notion of sheaves. In this paper, we prove existence of a dual of sheafifications, called \textit{cosheafifications}, in the $\infty$-category theory. We also prove that the $\infty$-category of $\infty$-cosheaves is…
For every adjunction of stable $\infty$-categories -- or more generally, in any locally stable $(\infty,2)$-category -- we give a simple procedure for inverting the twist and cotwist functors associated to this adjunction. As a consequence,…
We are analyzing a sample of closeby galaxy systems, each comprising a bright isolated spiral and its satellites. We find an excess (56%) of prograde satellites over retrograde, which basically holds for all angular displacements from the…
Laser inter-satellite links (LISLs) are envisioned between satellites in upcoming satellite constellations, such as Phase I of SpaceX's Starlink. Within a constellation, satellites can establish LISLs with other satellites in the same…
In the paper we prove the conjecture by Alexander Zupan that $w(K) \geqslant n^2w(J)$ where w denote the width and $K$ and $J$ are satellite knot and its companion with winding number $n$. Also we proved that for satellite knot with braid…
Mathematicians love dualities. After a brief explanation of dualities, with examples, we turn to one of the purest and most beautiful: Isbell duality. For any category $\mathsf{C}$, this gives an adjunction between the category of…