Related papers: Generalized Lens Categories via functors $\mathcal…
The aim of this paper is to generalize Grothendieck's theory of smooth functors in order to include within this framework the theory of fibered categories. We obtain in particular a new characterization of fibered categories.
The recent trend in mathematics is towards a framework of abstract mathematical objects, rather than the more concrete approach of explicitly defining elements which objects were thought to consist of. A natural question to raise is whether…
Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave in a similar, although non equivalent, way.…
The precision reached by current and forthcoming strong-lensing observations requires to accurately model various perturbations to the main deflector. Hitherto, theoretical models have been developed to account for either cosmological…
The unprecedented pace of machine learning research has lead to incredible advances, but also poses hard challenges. At present, the field lacks strong theoretical underpinnings, and many important achievements stem from ad hoc design…
This paper gives two new categorical characterisations of lenses: one as a coalgebra of the store comonad, and the other as a monoidal natural transformation on a category of a certain class of coalgebras. The store comonad of the first…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
Of order one in 10^3 quasars and high-redshift galaxies appears in the sky as multiple images as a result of gravitational lensing by unrelated galaxies and clusters that happen to be in the foreground. While the basic phenomenon is a…
Understanding the deflection of light by a massive deflector, as well as the associated gravitational lens phenomena, require the use of the theory of General Relativity. I consider here a classical approach, based on Newton's equation of…
Two adjoint functors can be seen as generalisations of the two functions within a Galois connection. If instead the adjoints are not generalised from functions, but from relations, then analogously the object of study becomes a more general…
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…
Categories of polymorphic lenses in computer science, and of open games in compositional game theory, have a curious structure that is reminiscent of compact closed categories, but differs in some crucial ways. Specifically they have a…
Given a reductive Lie algebra over the complex numbers, we introduce a family of category which generalises the BGG category $\mathcal{O}$. We also classify the simple modules for some of these categories and prove a semisimplicity result.
We consider several aspects of the generalized multi-plane gravitational lens theory, in which light rays from a distant source are affected by several main deflectors, and in addition by the tidal gravitational field of the large-scale…
In this paper, we generalize the construction method of schemes to other algebraic categories, and show that the category of coherent schemes can be characterized by a universal property, if we fix the class of Grothendieck topology. Also,…
Delta lenses are a kind of morphism between categories which are used to model bidirectional transformations between systems. Classical state-based lenses, also known as very well-behaved lenses, are both algebras for a monad and coalgebras…
These are expanded lecture notes from lectures given at the Workshop on higher structures at MATRIX Melbourne. These notes give an introduction to Feynman categories and their applications. Feynman categories give a universal categorical…
We apply the notion of relative adjoint functor to generalise closed monoidal categories. We define representations in such categories and give their relation with left actions of monoids. The translation of these representations under lax…
In the theory of crossed modules, considering arbitrary self-actions instead of conjugation allows for the extension of the concept of crossed modules and thus the notion of generalized crossed module emerges. In this paper we give a…
The elegance and usefulness of a complex formulation of the basic lensing equations is demonstrated with a number of applications. Using standard tools of complex function theory, we present, for instance, a new proof of the fact that the…