Skew-enriched categories

    Research output: Contribution to journalArticle

    2 Citations (Scopus)

    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 V, between tensored V-categories and hommed V-actegories is extended to the skew setting and easily proved by recognising both skew V-categories and skew V-actegories as equivalent to special kinds of skew V-proactegory.
    Original languageEnglish
    Pages (from-to)597-615
    Number of pages19
    JournalApplied Categorical Structures
    Volume26
    Issue number3
    Early online date5 Oct 2017
    DOIs
    Publication statusPublished - Jun 2018

    Keywords

    • Skew-enriched category
    • Skew-monoidal category
    • Skew-closed category
    • Locally weak comonad
    • Skew-actegory
    • Skew-promonoidal category
    • Skew-proactegory

    Fingerprint Dive into the research topics of 'Skew-enriched categories'. Together they form a unique fingerprint.

  • Cite this