The core of adjoint functors

MaRDI QIDQ2919777zbMATH OpenFDO

Authors Ross H. Street

Publication date 22 October 2012

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1112.0094, http://www.emis.de/journals/TAC/volumes/27/4/27-04abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

adjoint functorbicategoryenriched categoryKleisli cocompletion

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Eilenberg-Moore and Kleisli constructions for monads (18C20)

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.

Recommendations

• scientific article; zbMATH DE number 3927164
• scientific article; zbMATH DE number 4075360
• Category seminar. Proceedings Sydney category theory seminar 1972/1973
• Category theory in context
• Adjoint functor theorems for homotopically enriched categories

Cited in

(23)

• Completeness and injectivity
• scientific article; zbMATH DE number 7576215 (Why is no real title available?)
• Sophus Lie's Third Fundamental Theorem and the Adjoint Functor Theorem
• scientific article; zbMATH DE number 1178243 (Why is no real title available?)
• scientific article; zbMATH DE number 6613495 (Why is no real title available?)
• Adjoint Triples and Residuated Aggregators
• scientific article; zbMATH DE number 5256216 (Why is no real title available?)
• scientific article; zbMATH DE number 858784 (Why is no real title available?)
• On reflective-coreflective equivalence and associated pairs
• scientific article; zbMATH DE number 29047 (Why is no real title available?)
• Adjunction up to automorphism
• Adjoint functor theorems for homotopically enriched categories
• The double power monad is the composite power monad
• Continuity is an Adjoint Functor
• Adjoint-triangle theorems for conservative functors
• Adjunction in the absence of identity
• Reflexivity in derived categories
• On lifting of biadjoints and lax algebras
• On an adjoint functor to the Thom functor
• Homological aspects of the adjoint cotranspose
• Three easy pieces: imaginary seminar talks in honour of Bob Rosebrugh
• ALGEBRAIC HULLS OF ADJOINT FUNCTORS AS INJECTIVE HULLS
• Adjointness in descent theory

This page was built for publication: The core of adjoint functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2919777)