Related papers: Dependent Optics
This article presents a natural extension of the tensor algebra. In addition to "left multiplications" by vectors, we can consider "derivations" by covectors as basic operators on this extended algebra. These two types of operators satisfy…
We define biprops as a generalization of coloured props and of symmetric weak multicategories. These are bicategories whose objects form a free monoid. They are equipped with some structure resembling a symmetric strict tensor product. We…
We show that a compact rigid balanced braided monoidal category with enough compact projective objects gives rise to a system of mapping class group representations compatible with the gluing along marked intervals. A motivation to consider…
We survey and extend the theory of Tambara functors. These are algebraic structures similar to Mackey functors, but with multiplicative norm maps as well as additive transfer maps, and a rule governing their interaction that is most easily…
First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of…
The main purpose of this paper is to introduce a new category, which we call a resonance category, whose combinatorics reflect that of canonical stratifications of $n$-fold symmetric smash products. The study of the stratifications can then…
Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…
A transformation optics approach was used to derive a general method for designing electromagnetic devices able to manipulate the wave vectors in the specific manner required by the functionality of the device. While the wave paths inside…
Closed formulas are derived for the field in the focal region of a diffraction limited lens, such that the electric field component in a given direction at the focal point is larger than that of all other focused fields with the same power…
The ideal imaging system would efficiently capture information about all fundamental properties light: intensity, direction, wavelength, and polarization. Most common imaging systems only map the spatial degrees of freedom of light onto a…
This thesis is mainly devoted to the study of the quantum properties of optical parametric oscillators (OPOs), which are nowadays the sources of the highest-quality quantum-correlated light, apart from fundamental tools in the…
The category of affine schemes is a tangent category whose tangent bundle functor is induced by K\"ahler differentials, providing a direct link between algebraic geometry and tangent category theory. Moreover, this tangent bundle functor is…
We show that every linear optical component can be completely described as a device that converts one set of orthogonal input modes, one by one, to a matching set of orthogonal output modes. This result holds for any linear optical…
We recall the notions of a graded cocategory, conilpotent cocategory, morphisms of such (cofunctors), coderivations and define their analogs in $\mathbb L$-filtered setting. The difference with the existing approaches: we do not impose any…
The symmetric interaction combinators are an equally expressive variant of Lafont's interaction combinators. They are a graph-rewriting model of deterministic computation. We define two notions of observational equivalence for them,…
We define the category of partitioned binary relations and show that it contains many classical diagram categories, including categories of binary relations, maps, injective maps, partitions, (oriented) Brauer diagrams and (oriented)…
For an abelian category C and a filtrant preordered set Lambda, we prove that the derived category of the quasi-abelian category of filtered objects in C indexed by Lambda is equivalent to the derived category of the abelian category of…
A new formalism of beam-optics and polarization has been recently presented, based on an exact matrix representation of the Maxwell equations. This is described in Part-I and Part-II. In this Part, we present the application of the above…
We construct various multiple categories, based on generalised Ehresmann quintets. The main construction is a multiple category whose objects are all the `lax' multiple categories; the transversal arrows are their strict multiple functors…
We define natural A_infinity-transformations and construct A_infinity-category of A_infinity-functors. The notion of non-strict units in an A_infinity-category is introduced. The 2-category of (unital) A_infinity-categories, (unital)…