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

MaRDI QIDQ2808142zbMATH OpenFDO

Authors Rory B. B. Lucyshyn-Wright

Publication date 26 May 2016

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

Full work available at URL https://arxiv.org/abs/1507.02220, http://www.emis.de/journals/TAC/volumes/31/6/31-06abs.html

IPFS 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)

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.

Recommendations

• Lawvere theories enriched over a general base
• A note on enriched categories
• Comonadic base change for enriched categories
• scientific article; zbMATH DE number 2152038
• Generalized enrichment of categories

Cited in

(6)

• How strict is strictification?
• Semantics for a lambda calculus for string diagrams
• scientific article; zbMATH DE number 193534 (Why is no real title available?)
• Modality via iterated enrichment
• Skew-enriched categories
• 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)