相关论文: The more legs the merrier: A new composition for s…

Lenses are a mathematical structure for maintaining consistency between a pair of systems. In their ongoing research program, Johnson and Rosebrugh have sought to unify the treatment of symmetric lenses with spans of asymmetric lenses. This…

Bimorphic lenses are a simplification of polymorphic lenses that (like polymorphic lenses) have a type defined by 4 parameters, but which are defined in a monomorphic type system (i.e. an ordinary category with finite products). We show…

Lenses are a well-established structure for modelling bidirectional transformations, such as the interactions between a database and a view of it. Lenses may be symmetric or asymmetric, and may be composed, forming the morphisms of a…

Lenses may be characterised as objects in the category of algebras over a monad, however they are often understood instead as morphisms, which propagate updates between systems. Working internally to a category with pullbacks, we define…

Lenses are programs that can be run both "front to back" and "back to front," allowing updates to either their source or their target data to be transferred in both directions. Lenses have been extensively studied, extended, and applied.…

Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a…

We discuss the notion of a span of cospans and define, for them, horizonal and vertical composition. These compositions satisfy the interchange law if working in a topos $\mathbf{C}$ and if the span legs are monic. A bicategory is then…

We study three-dimensional microlensing where two lenses are located at different distances along the line of sight. We formulate the lens equation in complex notations and recover several previous results. There are in total either 4 or 6…

One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon…

A novel concept for coherent beam combining is presented based on a simple setup with microlens arrays. These standard components are used in a proof-of-principle experiment for both coherent beam splitting and combination of 5 x 5 beams.…

A comprehensive account of the categorical properties of the category of small categories and asymmetric delta lenses is given in the recent works of Chollet et al. and Di Meglio. An important construction for proving many of these…

Bidirectional transformation, also called lens, has played important roles in maintaining consistency in many fields of applications. A lens is specified by a pair of forward and backward functions which relate to each other in a consistent…

Flat optics foresees a new era of ultra-compact optical devices, where metasurfaces serve as the foundation. Conventional designs of metasurfaces start with a certain structure as the prototype, followed by an extensive parametric sweep to…

Optical components, such as lenses, have traditionally been made in the bulk form by shaping glass or other transparent materials. Recent advances in metasurfaces provide a new basis for recasting optical components into thin, planar…

Physical geometry and optical properties of objects are correlated: cylinders focus light to a line, spheres to a point, and arbitrarily shaped objects introduce optical aberrations. Multi-functional components with decoupled geometrical…

We discuss strong gravitational lensing by multiple objects along any line of sight. The probability for strong gravitational lensing by more than one lens is small, but a number of strong lens systems in which more than one separate lens…

Nonlinear metasurfaces incorporate many of the functionalities of their linear counterparts such as wavefront shaping but simultaneously they perform nonlinear optical transformations. This dual functionality leads to a rather unintuitive…

We present a comprehensive overview of different types of parametric interactions in nonlinear optics which are associated with simultaneous phase-matching of several optical processes in quadratic nonlinear media, the so-called multistep…

Photonic Lanterns (PLs) are tapered waveguides that gradually transition from a multi-mode fiber geometry to a bundle of single-mode fibers (SMFs). They can efficiently couple multi-mode telescope light into a multi-mode fiber entrance at…

Metasurfaces represent a powerful paradigm of optical engineering that enables one to control the flow of light across material interfaces. We report on a discovery that metallic metasurfaces of a certain type respond differently to…