加载中…
2025-07-02
De Morgan's law in toposes I
Olivia CaramelloYorgo Chamoun
文献摘要
We study toposes satisfying De Morgan’s law, in particular we give characterizations of geometric theories whose classifying topos is De Morgan, clarifying the link with the amalgamation property of the category of models of such theory. We then give several ways of turning a topos into a De Morgan topos.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本