English

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

Category Theory 2016-04-28 v1 Algebraic Geometry K-Theory and Homology

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 VV its associated VV-enriched category V\underline{V} 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 VV, we show that this induces a 2-functorial passage from symmetric monoidal closed categories over\textit{over} VV (i.e., equipped with a morphism to VV) to symmetric monoidal closed VV-categories over V\underline{V}. 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 VV-categories.

Keywords

Cite

@article{arxiv.1507.02220,
  title  = {Relative symmetric monoidal closed categories I: Autoenrichment and change of base},
  author = {Rory B. B. Lucyshyn-Wright},
  journal= {arXiv preprint arXiv:1507.02220},
  year   = {2016}
}