?? "right adjoint" part of model of topos ...
??case of locale?? ... ???especially "spatial" such ?? ... ???"germ ... " ... ??? .... ...of ... ??? .... ??? ....
??boolean algebra object??? .... ?? generalization of "flat co-presheaf" (??...) appearing in diaconescu theorem ??? .... ..... "syntactic description ... " ...... .... .... ?????? ......
No comments:
Post a Comment