 Topos Theory by Jaap van Oosten (2018)

Authored lecture notes by Jaap van Oosten, Utrecht University. Theorem0.11, printed pp.x–xii, states the adjoint lifting theorem and constructs the lifted adjoint from reflexive presentations. Theorem1.16 applies lifting to logical functors through power-object monadicity.