Skew-enriched categories

DOI10.1007/S10485-017-9504-0MaRDI QIDQ722252zbMATH OpenOpenAlexFDO

Authors Alexander Campbell

Publication date 23 July 2018

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

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

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)

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.

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

Cites work

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

Cited in

(12)

• Cartesian differential categories as skew enriched categories
• Linearizing combinators
• Skew-monoidal reflection and lifting theorems
• Cartesian integral categories and contextual integral categories
• A skew approach to enrichment for Gray-categories
• Adjoint functor theorems for homotopically enriched categories
• scientific article; zbMATH DE number 193534 (Why is no real title available?)
• A unified framework for notions of algebraic theory
• scientific article; zbMATH DE number 7407795 (Why is no real title available?)
• 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)