1 problem

0 votes0 replies0 views
Existence of a non-free lifting algebra on positive elements
Existence conjecture. There exists an elementary topos containing an $LL$ -algebra that is not free on its subdcpo of positive elements.
Problemopenconstructive-domain-theory lifting-monad topos-theoryarXiv posted 3 days ago

Existence of a non-free lifting algebra on positive elements