The core of adjoint functors

Ross Street*

*Corresponding author for this work

    Research output: Contribution to journalArticle

    1 Citation (Scopus)
    2 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

      Fingerprint

    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.

    Cite this