Relative symmetric monoidal closed categories. I: Autoenrichment and change of base

zbMATH Open1350.18013arXiv1507.02220MaRDI QIDQ2808142FDOQ2808142

Rory B. B. Lucyshyn-Wright

Publication date: 26 May 2016

Published in: Theory and Applications of Categories (Search for Journal in Brave)

Abstract: Symmetric monoidal closed categories may be related to one another not only by the functors between them but also by enrichment of one in another, and it was known to G. M. Kelly in the 1960s that there is a very close connection between these phenomena. In this first part of a two-part series on this subject, we show that the assignment to each symmetric monoidal closed category $V$ its associated $V$-enriched category $underlineV$ extends to a 2-functor valued in an op-2-fibred 2-category of symmetric monoidal closed categories enriched over various bases. For a fixed $V$, we show that this induces a 2-functorial passage from symmetric monoidal closed categories $extitover$ $V$ (i.e., equipped with a morphism to $V$) to symmetric monoidal closed $V$-categories over $underlineV$. As a consequence, we find that the enriched adjunction determined a symmetric monoidal closed adjunction can be obtained by applying a 2-functor and, consequently, is an adjunction in the 2-category of symmetric monoidal closed $V$-categories.

Full work available at URL: https://arxiv.org/abs/1507.02220

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

2-categorymonoidal categorymonoidal functor2-functorclosed categorypseudomonoid2-fibrationenriched monoidal categorymonoidal adjunction

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20) Actions of a monoidal category, tensorial strength (18D25)

Cited In (6)

• How strict is strictification?
• Skew-enriched categories
• Modality via iterated enrichment
• Title not available (Why is that?)
• Semantics for a lambda calculus for string diagrams
• Functional distribution monads in functional-analytic contexts

This page was built for publication: Relative symmetric monoidal closed categories. I: Autoenrichment and change of base

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