Related papers: On satellites in arbitrary categories

In this paper we give general definitions of non-commutative jets in the local and global situation using square zero extensions and derivations. We study the functors Exank(A, I) where A is any k-algebra and I is any left and right…

We prove generalizations of the Poincare and logarithmic Sobolev inequalities corresponding to the case of fractional derivatives in measure spaces with only a minimal amount of geometric structure. The class of such spaces includes (but is…

For metrology, geodesy and gravimetry in space, satellite based instruments and measurement techniques are used and the orbits of the satellites as well as possible deviations between nearby ones are of central interest. The measurement of…

We define a Galois structure on the category of pairs of equivalence relations in an exact Mal'tsev category, and characterize central and double central extensions in terms of higher commutator conditions. These results generalize both the…

We study the effect of satellite operations on the Upsilon invariant of Ozsvath-Stipsicz-Szabo. We obtain results concerning when a knot and its satellites are independent; for example, we show that the set $\{D_{2^i,1}\}_{i=1}^\infty$ is a…

Understanding natural relative motion trajectories is critical to enable fuel-efficient multi-satellite missions operating in complex environments. This paper studies the problem of computing and efficiently parameterizing satellite…

Trace classes of Sobolev-type functions in metric spaces are subject of this paper. In particular, functions on domains whose boundary has an upper codimension-$\theta$ bound are considered. Based on a Poincar\'e inequality, existence of a…

A correspondence functor is a functor from the category of finite sets and correspondences to the category of k-modules, where k is a commu-tative ring. A main tool for this study is the construction of a correspondence functor associated…

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in Prof, the monoidal bicategory…

In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder…

It was conjectured by Gorsky, Hogancamp, Mellit, and Nakagane that the left and right adjoints of the parabolic induction functor between homotopy categories of Soergel bimodules associated to a finite Coxeter group are related by the…

We recall two approaches to recent improvements of the classical Sobolev inequality. The first one follows the point of view of Real Analysis, while the second one relies on tools from Convex Geometry. In this paper we prove a (sharp)…

Given a right adjoint functor between triangulated categories and an object in the target category, we show that the unit map of adjunction on that object is a split monomorphism if and only if the object belongs to the additive closure of…

We analyse distribution, kinematics and star-formation (SF) properties of satellite galaxies in three different samples of nearby groups. We find that studied groups are generally well approximated by low-concentration NFW model, show a…

Given a braided pivotal category $\mathcal C$ and a pivotal module tensor category $\mathcal M$, we define a functor $\mathrm{Tr}_{\mathcal C}:\mathcal M \to \mathcal C$, called the associated categorified trace. By a result of…

An apparently new concept of maximal mean difference quotient is defined for functions in the Lebesgue space $L_{loc}(R^n)$. Our definitions are meaningful for vector valued functions on general measure metric spaces as well and seem to…

This paper describes a relationship between essentially finite groupoids and 2-vector spaces. In particular, we show to construct 2-vector spaces of Vect-valued presheaves on such groupoids. We define 2-linear maps corresponding to functors…

Given a combinatorial structure, a ``twin'' is a pair of disjoint substructures which are isomorphic (or look the same in some sense). In recent years, there have been many problems about finding large twins in various combinatorial…

In the authors book, Associative Algebraic Geometry, 2023, and the following article Shemes of Associative Algebras,\\ https://doi.org/10.48550/arXiv.2410.17703,2024, we use an algebraization of the semi-local formal moduli of simple…