Related papers: On satellites in arbitrary categories
The uplink from a very small aperture terminal (VSAT) towards multiple satellites is considered, in this paper. VSATs can be equipped with multiple antennas, allowing parallel transmission to multiple satellites. A low-complexity precoder…
We review some basic results of convex analysis and geometry in $\mathbb{R}^n$ in the context of formulating a differential equation to track the distance between an observer flying outside a convex set $K$ and $K$ itself.
Can a satellite dodge a collision with untracked orbiting debris? Can a satellite dodge collision with a tracked object, making only the avoidance man{\oe}uvers actually required to avoid collision, despite the uncertainties of predicted…
A conjecture regarding the structure of expander graphs is discussed.
We construct generalized multicategories associated to an arbitrary operad in Cat that is $\Sigma$-free. The construction generalizes the passage to symmetric multicategories from permutative categories, which is the case when the operad is…
For our purposes, two functors {\Lambda} and {\Gamma} are said to be respectively left and right adjoints of each other if for any digraphs G and H, there exists a homomorphism of {\Lambda}(G) to H if and only if there exists a homomorphism…
A polarity notion for sets in a Banach space is introduced in such a way that the second polar of a set coincides with the smallest strongly convex set with respect to R that contains it. Strongly convex sets are characterized in terms of…
Relational presheaves generalize traditional presheaves by going to the category of sets and relations (as opposed to sets and functions) and by allowing functors which are lax. This added generality is useful because it intuitively allows…
We informally review the construction of spacetime geometries with multifractal and, more generally, multiscale properties. Based on fractional calculus, these continuous spacetimes have their dimension changing with the scale; they display…
We give a characterisation of functors whose induced functor on the level of localisations is an equivalence and where the isomorphism inverse is induced by some kind of replacements such as projective resolutions or cofibrant replacements.
Diers developed a general theory of right multi-adjoint functors leading to a purely categorical, point-set construction of spectra. Situations of multiversal properties return sets of canonical solutions rather than a unique one. In the…
It is known that for a variety of choices of metrics, including the standard bottleneck distance, the space of persistence diagrams admits geodesics. Typically these existence results produce geodesics that have the form of a convex…
A Datalog program can be viewed as a syntactic specification of a functor from database instances over some schema to database instances over another schema. The same holds more generally for $\exists$Datalog. We establish large classes of…
We refine Funk's description of the classifying space of an inverse semigroup by replacing his *-semigroups by right generalized inverse *-semigroups. Our proof uses the idea that presheaves of sets over meet semilattices may be…
We show that for a Heyting algebra ${\cal H}$, a relational-presheaf is an idempotent symmetric order-preserving lax-semifunctor. A relational-presheaf is a relational-sheaf, if it is an idempotent infima-preserving lax semifunctor. The…
In this second paper dedicated to the study of satellite galaxies we present broad-band photometry in the B, V, R and I filters of 49 satellite galaxies orbiting giant isolated spiral galaxies. First analysis of the properties of these…
This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FLe-algebras). In particular,…
We prove conditions for the existence of a continuous linear right inverse for a surjective convolution operator in spaces of germs of analytic functions on convex subsets of the complex plane. Considered convex sets have a countable…
Graphs can be associated with a matrix according to some rule and we can find the spectrum of a graph with respect to that matrix. Two graphs are cospectral if they have the same spectrum. Constructions of cospectral graphs help us…
A link in $S^{3}$ is a fully positive braid link if it is the closure of a positive braid that contains at least one full-twist. We show that a fully positive braid link is a satellite link if and only if it is the satellite of a fully…