The core of adjoint functors

Ross Street*

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    3 Citations (Scopus)
    5 Downloads (Pure)

    Abstract

    There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to Kleisli objects, which we then apply to internal categories. Finally, we describe a doctrinal setting.

    Original languageEnglish
    Pages (from-to)47-64
    Number of pages18
    JournalTheory and Applications of Categories
    Volume27
    Publication statusPublished - 12 Jun 2012

    Bibliographical note

    Copyright the Author(s) 2012. Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

    Fingerprint Dive into the research topics of 'The core of adjoint functors'. Together they form a unique fingerprint.

    Cite this