Enriched categories and tropical mathematics

arXiv1909.07620MaRDI QIDQ6325450FDOQ6325450

Authors: Soichiro Fujii 

Publication date: 17 September 2019

Abstract: This is a survey paper on the connection of enriched category theory over a quantale and tropical mathematics. Quantales or complete idempotent semirings, as well as matrices with coefficients in them, are fundamental objects in both fields. We first explain standard category-theoretic constructions on matrices, namely composition, right extension, right lifting and the Isbell hull. Along the way, we review known reformulations (due to Elliott and Willerton) of tropical polytopes, directed tight spans and the Legendre--Fenchel transform by means of these constructions, illustrating their ubiquity in tropical mathematics and related fields. We then consider complete semimodules over a quantale $mathcalQ$, a tropical analogue of vector spaces over a field, and mention Stubbe's result identifying them with skeletal and complete $mathcalQ$-categories. With the aim to bridge a gap between enriched category theory and tropical mathematics, we assume no knowledge in either field.

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Enriched categories (over closed or monoidal categories) (18D20) Quantales (06F07)

This page was built for publication: Enriched categories and tropical mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6325450)