Willerton, S. (Submitted: 2015) The Legendre-Fenchel transform from a category theoretic perspective. arXiv.
Abstract
The Legendre-Fenchel transform is a classical piece of mathematics with many applications. In this paper we show how it arises in the context of category theory using categories enriched over the extended real numbers R¯¯¯¯:=[−∞,+∞]. A key ingredient is Pavlovic's 'nucleus of a profunctor' construction. The pairing between a vector space and its dual can be viewed as an R¯¯¯¯-profunctor; the construction of the nucleus of this profunctor is the construction of a lot of the theory of the Legendre-Fenchel transform. For a relation between sets viewed as a {true,false}-valued profunctor, the construction of the nucleus is the construction of the Galois connection associated to the relation. One insight given by this approach is that the relevant structure on the function spaces involved in the Legendre-Fenchel transform is something like a metric but is asymmetric and can take negative values. This 'R¯¯¯¯-structure' is a considerable refinement of the usual partial order on real-valued function space and it allows a natural interpretation of Toland-Singer duality and of the two tropical module structures on the set of convex functions.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2018 The Author(s). For reuse permissions, please contact the Author(s). |
Keywords: | Category Theory (math.CT); Metric Geometry (math.MG) |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Science (Sheffield) > School of Mathematics and Statistics (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 26 Feb 2018 15:39 |
Last Modified: | 26 Feb 2018 16:30 |
Published Version: | https://arxiv.org/abs/1501.03791 |
Status: | Published |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:113671 |