2000 character limit reached
De Morgan's law in toposes I (2507.01869v1)
Published 2 Jul 2025 in math.CT and math.LO
Abstract: 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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.