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.
Articles by others on the same topic
There are currently no matching articles.