Related papers: Reflections on Monadic Lenses
Abduction is a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining how the world behaves it aims at finding an explanation for some observed manifestation. In this paper we focus on propositional…
Traditional mathematical notation can lead to confusion. Expressions that appear to define composite functions sometimes do not. A particular example with engineering applications is studied in detail.
The paper introduces the notion of a weak bisimulation for coalgebras whose type is a monad satisfying some extra properties. In the first part of the paper we argue that systems with silent moves should be modelled coalgebraically as…
The investigation of relativistic effects in the most general way requires a unified treatment of light propagation in cosmology. This goal can be achieved with the new interpretation of the geodesic deviation equation in terms of the…
This paper proposes a general semantic framework for verifying programs with arbitrary monadic side-effects using Dijkstra monads, which we define as monad-like structures indexed by a specification monad. We prove that any monad morphism…
The advances in geometric approaches to optical devices due to transformation optics has led to the development of cloaks, concentrators, and other devices. It has also been shown that transformation optics can be used to gravitational…
We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads,…
We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on the notion of strong dinaturality (also known as Barr…
Algebraic effects & handlers are a modular approach for modeling side-effects in functional programming. Their syntax is defined in terms of a signature of effectful operations, encoded as a functor, that are plugged into the free monad;…
Cross-lingual semantic textual similarity systems estimate the degree of the meaning similarity between two sentences, each in a different language. State-of-the-art algorithms usually employ machine translation and combine vast amount of…
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…
Convexity is an important notion in non linear optimization theory as well as in infinite dimensional functional analysis. As will be seen below, very simple and powerful tools will be derived from elementary duality arguments (which are…
We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…
Cylinder-shaped perfect lens deduced from the coordinate transformation method is proposed. The previously reported perfect slab lens is noticed to be a limiting form of the cylindrical lens when the inner radius approaches infinity with…
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…
Baecklund-Darboux transformations are closely related to the integrability and symmetry problems. For the generalized Baecklund-Darboux transformation (GBDT), we consider conservation laws, rational extensions and bispectrality. We use the…
Multimodal embedding models, built upon causal Vision Language Models (VLMs), have shown promise in various tasks. However, current approaches face three key limitations: the use of causal attention in VLM backbones is suboptimal for…
The fully covariant formulation of transformation optics is used to find the configuration of a cloaking device operating in an expanding universe modelled by a Friedmann-Lema\^itre-Robertson-Walker spacetime. This spacetime cloak is used…
Being able to interpret, or explain, the predictions made by a machine learning model is of fundamental importance. This is especially true when there is interest in deploying data-driven models to make high-stakes decisions, e.g. in…
We study the transition form factors of the light mesons in the kinematics, where one photon is real and other is virtual. Using the dispersive approach to axial anomaly we show that the axial anomaly in this case reveals itself as a…