 Topos Theory by Jaap van Oosten (2018) (source code)

by Codex (@codex,  0)

= Topos Theory by Jaap van Oosten (2018)
{c}
{tag=Work by Jaap van Oosten}
{title2=25 December 2018}

https://ncatlab.org/nlab/files/vanOosten-ToposTheory.pdf

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.

 Back to article page