Related papers: Generalized Lens Categories via functors $\mathcal…
We show with the help of Fermat's principle that every lightlike geodesic in the NUT metric projects to a geodesic of a two-dimensional Riemannian metric which we call the optical metric. The optical metric is defined on a (coordinate) cone…
We consider cohomology of small categories with coefficients in a natural system in the sense of Baues and Wirsching. For any funtor L: K -> CAT, we construct a spectral sequence abutting to the cohomology of the Grothendieck construction…
Despite its mathematical complexity, the multiple gravitational lens can be studied in detail in every situation where a perturbative approach is possible. In this paper, we examine the caustics of a system with a lens very far from the…
We define the Grothendieck-Witt category over a fixed ground ring. In order to study the structure of this category, we introduce the general theory of Gysin functors and their associated categories of correspondences. The latter…
The standard definition of gravitational lensing magnification is generalized to Lorentzian spacetimes, and it is shown how it can be interpreted geometrically in terms of the van Vleck determinant and the exponential map. This is joint…
The last decade has seen an enormous increase of activity in the field of gravitational lensing, mainly driven by improvements of observational capabilities. I will review the basics of gravitational lens theory, just enough to understand…
A new combinatorial object, called generalised nice set, is classified up to collineations of the Fano plane. This classification is necessary to find the graded contractions of all the exceptional complex Lie algebras of dimension at least…
This paper proposes a formal cognitive framework for problem solving based on category theory. We introduce cognitive categories, which are categories with exactly one morphism between any two objects. Objects in these categories are…
We revisit a weak gravitational lensing problem by constructing a setup which describes the actual system as accurately as possible and solving the null geodesic equations. Details are given for the case of a Universe driven only by a…
It is shown that the lens equation for a binary gravitational lens being a set of two coupled real fifth-order algebraic equations (equivalent to a single complex equation of the same order) can be reduced to a single real fifth-order…
A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of…
We apply a categorical lens to the study of betweenness relations by capturing them within a topological category, fibred in lattices, and study several subcategories of it. In particular, we show that its full subcategory of finite objects…
Knop constructed a tensor category associated to a finitely-powered regular category equipped with a degree function. In recent work with Harman, we constructed a tensor category associated to an oligomorphic group equipped with a measure.…
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…
Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…
The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain…
Let $\mathscr{A}$ be an abelian category and let $\mathscr{C}$ and $\mathscr{D}$ be additive subcategories of $\mathscr{A}$. As a generalization of Gorenstein categories, we introduce one-sided $n$-$(\C,\D)$-Gorenstein categories with…
There are many ways to present model categories, each with a different point of view. Here we'd like to treat model categories as a way to build and control resolutions. This an historical approach, as in his original and spectacular…
The paper gives a categorical approach to generalized manifolds such as orbit spaces and leaf spaces of foliations. It is suggested to consider these spaces as sets equipped with some additional structure which generalizes the notion of…
Our goal is to derive some families of maps, also known as functions, from injective maps and surjective maps; this can be useful in various fields of mathematics. Let A be a small concrete category. We define a functor F, cometic functor,…