A standard theorem on adjunctions in two variables

2019/02/16 by Loregian, Fosco
#Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.1902.06074

Abstract

We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.

Related

• The 2-Adjunction that relates Universal Arrows and Extensive Monads
• Extranatural transformations, adjunctions of two variables and conjugation
• On inversion of adjunction
• Adjunction in the absence of identity
• Adjunction and inversion of adjunction