journal article
oaidoi:10.1016/0022-4049(89)90163-1

Languages for monoidal categories

Authors
Publication date
25 July 1989
Publisher
Published by Elsevier B.V.
Doi

    Abstract

    AbstractProofs of propositions about ordinary categories, e.g. the Yoneda Lemma, may often be reinterpreted to yield proofs of the equivalent propositions about enriched categories, without recourse to diagram-chasing. Elements of the homset are replaced by variables of the hom-type. The language may also be used to lift definitions to the enriched context in a natural way, e.g., natural transformation, strong monic

    Similar works

    Full text

    thumbnail-image

    Elsevier - Publisher Connector

    redirect
    oaidoi:10.1016/0022-4049(89)90163...
    Last time updated on 04/05/2017

    This paper was published in Elsevier - Publisher Connector .

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.