Skew-enriched categories

DOI10.1007/S10485-017-9504-0zbMATH Open1426.18003arXiv1709.01222OpenAlexW2751544948MaRDI QIDQ722252FDOQ722252

Authors: Alexander Campbell 

Publication date: 23 July 2018

Published in: Applied Categorical Structures (Search for Journal in Brave)

Abstract: This paper introduces a skew variant of the notion of enriched category, suitable for enrichment over a skew-monoidal category, the main novelty of which is that the elements of the enriched hom-objects need not be in bijection with the morphisms of the underlying category. This is the natural setting in which to introduce the notion of locally weak comonad, which is fundamental to the theory of enriched algebraic weak factorisation systems. The equivalence, for a monoidal closed category $mathcalV$, between tensored $mathcalV$-categories and hommed $mathcalV$-actegories is extended to the skew setting and easily proved by recognising both skew $mathcalV$-categories and skew $mathcalV$-actegories as equivalent to special kinds of skew $mathcalV$-proactegory.

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

Recommendations

• Enriched categories as a free cocompletion
• Internal enriched categories
• Generalized enrichment of categories
• Semimodule enrichment
• Remarks on units of skew monoidal categories
• Skew structures in 2-category theory and homotopy theory
• Relative symmetric monoidal closed categories. I: Autoenrichment and change of base
• Semi-intial and semi-finalV-functors¹
• The sequent calculus of skew monoidal categories
• Publication:4508556

zbMATH Keywords

locally weak comonadskew-actegoryskew-closed categoryskew-enriched categoryskew-monoidal categoryskew-proactegoryskew-promonoidal category

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20) Monoidal categories, symmetric monoidal categories (18M05)

Cites Work

• A note on actions of a monoidal category
• Title not available (Why is that?)
• Enhanced 2-categories and limits for lax morphisms
• Enrichment through variation
• Skew-monoidal reflection and lifting theorems
• Skew-monoidal categories and bialgebroids.
• Coherence for tricategories
• Construction of biclosed categories
• The theory and practice of Reedy categories
• Categorical homotopy theory
• Fibred 2-categories and bicategories
• Skew monoidales, skew warpings and quantum categories
• Limits for lax morphisms
• Skew structures in 2-category theory and homotopy theory
• Skew-closed categories
• Homotopy locally presentable enriched categories
• Algebraic weak factorisation systems. II: Categories of weak maps.

Cited In (12)

• Cartesian differential categories as skew enriched categories
• Linearizing combinators
• Skew-monoidal reflection and lifting theorems
• A skew approach to enrichment for Gray-categories
• Cartesian integral categories and contextual integral categories
• Adjoint functor theorems for homotopically enriched categories
• Title not available (Why is that?)
• A unified framework for notions of algebraic theory
• Title not available (Why is that?)
• Skew structures in 2-category theory and homotopy theory
• Skew-closed categories
• On semibiproducts of magmas and semigroups

This page was built for publication: Skew-enriched categories

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