The core of adjoint functors

Ross Street

The core of adjoint functors

Ross Street^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

47 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 language	English
Pages (from-to)	47-64
Number of pages	18
Journal	Theory and Applications of Categories
Volume	27
Publication status	Published - 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.

Access to Document

Publisher version (open access).pdfFinal published version, 242 KB

Cite this

@article{b2b82989db5a4153bd2fcafdce2792d2,

title = "The core of adjoint functors",

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.",

author = "Ross Street",

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.",

year = "2012",

month = jun,

day = "12",

language = "English",

volume = "27",

pages = "47--64",

journal = "Theory and Applications of Categories",

issn = "1201-561X",

publisher = "Mount Allison University",

}

TY - JOUR

T1 - The core of adjoint functors

AU - Street, Ross

N1 - 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.

PY - 2012/6/12

Y1 - 2012/6/12

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84863331776&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84863331776

SN - 1201-561X

VL - 27

SP - 47

EP - 64

JO - Theory and Applications of Categories

JF - Theory and Applications of Categories

ER -

The core of adjoint functors

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this