Related papers: The Legendre-Fenchel transform from a category the…
We introduce the Legendre bundle, a geometric structure encoding the essential duality of dually flat (Hessian) manifolds, and demonstrate that both exponential families in information geometry and a natural class of quantum field theories…
In this paper we demonstrate how the Legendre transform connects the statements of Noether's theorem in Hamiltonian and Lagrangian mechanics. We give precise definitions of symmetries and conserved quantities in both the Hamiltonian and…
A tangent category is a category with an endofunctor, called the tangent bundle functor, which is equipped with various natural transformations that capture essential properties of the classical tangent bundle of smooth manifolds. In this…
We establish and advocate for a novel branch of category theory, centered around strong dinatural transformations (herein known as "paranatural transformations"). Paranatural transformations generalize natural transformations to…
The use of operational methods of different nature is shown to be a fairly powerful tool to study different problems regarding the theory of Legendre and Legendre-like polynomials. We show how the use of the well known integral…
This paper explores differential bundles in tangent categories, characterizing them as functors from a structure category. This is analogous to the actegory perspective of Garner and Leung, which we also use to describe the tangent…
In the well-known settings of category theory enriched in a monoidal category V, the use of V-enriched functor categories and bifunctors demands that V be equipped with a symmetry, braiding, or duoidal structure. In this paper, we establish…
The geometrical structure known as the Tulczyjew triple has proved to be very useful in describing mechanical systems, even those with singular Lagrangians or subject to constraints. Starting from basic concepts of variational calculus, we…
The generalized Legendre transform method of Lindstrom and Rocek yields hyperkaehler metrics from holomorphic functions. Its main ingredients are sections of ${\cal O}(2j)$ bundles over the twistor space satisfying a reality condition with…
Racks and quandles are rich algebraic structures that are strong enough to classify knots. Here we develop several fundamental categorical aspects of the theories of racks and quandles and their relation to the theory of permutations. In…
Various models of $(\infty,1)$-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an $\infty$-cosmos. In a generic $\infty$-cosmos, whose…
We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of simple type theories include the unityped and simply-typed…
The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…
A general construction of Knop creates a symmetric monoidal category $\mathcal{T}(\mathcal{A},\delta)$ from any regular category $\mathcal{A}$ and a fixed degree function $\delta$. A special case of this construction are the Deligne…
For any small quantaloid $\Q$, there is a new quantaloid $\D(\Q)$ of diagonals in $\Q$. If $\Q$ is divisible then so is $\D(\Q)$ (and vice versa), and then it is particularly interesting to compare categories enriched in $\Q$ with…
We define a unified categorical framework for studying six subproblems arising from the classical Four Subspace Problem. For each subproblem, we construct a functor from its associated category to the category of representations of the…
A natural transformation $\mathfrak{J}$ between functors valued in the category $\mathfrak{Chdv}_{0}$ is assembled. $\mathfrak{Chdv}_{0}$ is obtained by replacing both the categories $\mathrm{ptls}$ and $\mathrm{ptsa}$ with the category of…
The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…
Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We…
We make precise the analogy between Goodwillie's calculus of functors in homotopy theory and the differential calculus of smooth manifolds by introducing a higher-categorical framework of which both theories are examples. That framework is…