Talk:Effective topos