## Return to Answer

2 added 288 characters in body

From the recent discussion in the question you linked to, it seems that even (some? most?) finite-dimensional Banach spaces do not have categorical duals in the precise sense you describe. In fact it's clear what goes wrong here with the construction used in the algebraic setting of finite-dimensional vector spaces: the composition of the two maps you describe would be multiplication on $I$ by the dimension of $A$, but that is not a contraction unless $\dim A \le 1$!

You might have more luck with a category of Banach spaces and all continuous linear maps, although I do not know whether that also has a closed symmetric monoidal structure.

1

From the recent discussion in the question you linked to, it seems that even (some? most?) finite-dimensional Banach spaces do not have categorical duals in the precise sense you describe. You might have more luck with a category of Banach spaces and all continuous linear maps, although I do not know whether that also has a closed symmetric monoidal structure.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 3, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9360896944999695, "perplexity_flag": "head"}