Related papers: Generalized Lens Categories via functors $\mathcal…
We construct a category, $\Omega$, of which the objects are pointed categories and the arrows are pointed correspondences. The notion of a "spec datum" is introduced, as a certain relation between categories, of which one has been given a…
We present lenscat, a public and community-contributed catalog of strong gravitational lenses found by electromagnetic surveys. The main objective of lenscat is to compile a simple, easy-to-access catalog that can be used in a variety of…
Gravitational lensing has developed into one of the most powerful tools for the analysis of the dark universe. This review summarises the theory of gravitational lensing, its main current applications and representative results achieved so…
Generalizing a result for the binary lens, similar alternative expressions are also given for the Jacobian determinant for a gravitational lens consisting of an arbitrary number of discrete lensing centres, with arbitrary masses and…
Optics are bidirectional accessors of data structures; they provide a powerful abstraction of many common data transformations. This abstraction is compositional thanks to a representation in terms of profunctors endowed with an algebraic…
We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of…
The main aim of the present work is to arrive at a mathematical theory close to the historically original conception of generalized functions, i.e. set theoretical functions defined on, and with values in, a suitable ring of scalars and…
`Categorification' is the process of replacing equations by isomorphisms. We describe some of the ways a thoroughgoing emphasis on categorification can simplify and unify mathematics. We begin with elementary arithmetic, where the category…
Modern applications of strong gravitational lensing require the ability to use precise and varied observational data to constrain complex lens models. I discuss two sets of computational methods for lensing calculations. The first is a new…
Under ray-optical light transport, the classical ray serves as a linear and local "point query" of light's behaviour. Linearity and locality are crucial to the formulation of sophisticated path tracing and sampling techniques, that enable…
The formula for the lens is derived based on the information of instantaneous focal function. Focal function is an important tool in designing lenses with extended depth of focus (EDoF) because this allows EDoF lens designers to try out…
We revisit the S-procedure for general functions with "geometrical glasses". We thus delineate a necessary condition, and almost a sufficient condition, to have the S-procedure valid. Everything is expressed in terms of convexity of…
Interacting systems of particles with generalized statistics are considered on both classical and quantum level. It is shown that all possible quantum states and corresponding processes can be represented in terms of certain specific…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
Let $k$ be a commutative ring, let $\mathcal{C}$ be a small, $k$-linear, Hom-finite, locally bounded category, and let $\mathcal{B}$ be a $k$-linear abelian category. We construct a Frobenius exact subcategory…
In this work we introduced a new proposal to study the gravitational lensing theory by spherical lenses, starting from its surface mass density $\Sigma(x)$ written in terms of a decreasing function $f$ of a dimensionless coordinate $x$ on…
The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric…
A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on…
We observe that the Reedy model structure on a diagram category can be constructed by iterating an operation of "bigluing" model structures along a pair of functors and a natural transformation. This yields a new explanation of the…
In this paper we build the general formalism of gravitational lensing in luminal Horndeski theories, deriving the Jacobi matrix equation and the general angular diameter distance in these theories through the screen space formalism. We…