= Jaap van Oosten
{c}
<Jaap van Oosten> works on <category theory>, the theory of the <topos> and realizability, connecting mathematical structures with models of <computation>. Utrecht's publication record verifies this research program.https://www.uu.nl/staff/JvanOosten/Publications[Institutional author publication list]{ref}
His <Topos Theory by Jaap van Oosten (2018)> explains how categorical structure can transport logical constructions. Its <adjoint lifting theorem for monad algebra functors> builds an adjoint at an algebraic level from an adjunction and suitable presentations underneath. The notes apply this to logical functors using power-object structure, making precise when a familiar construction survives passage to a richer category.<Topos Theory by Jaap van Oosten (2018)>[Theorem 0.11 and Theorem 1.16]{ref}
Back to article page
