The Evil Twin: The Basics of Complement-Toposes

Conference paper

DOI: 10.1007/978-81-322-2719-9_18

Volume 152 of the book series Springer Proceedings in Mathematics & Statistics (PROMS)
Cite this paper as:
Estrada-González L. (2015) The Evil Twin: The Basics of Complement-Toposes. In: Beziau JY., Chakraborty M., Dutta S. (eds) New Directions in Paraconsistent Logic. Springer Proceedings in Mathematics & Statistics, vol 152. Springer, New Delhi

Abstract

In this paper I describe how several notions and constructions in topos logic can be dualized, giving rise to complement-toposes with their paraconsistent internal logic, instead of the usual standard toposes with their intuitionistic logic.

Keywords

Standard topos Complement-topos Internal logic 

Mathematics Subject Classification (2000)

03A05 03B53 03G30 18B25 

Copyright information

© Springer India 2015

Authors and Affiliations

  1. 1.Instituto de Investigaciones FilosóficasUniversidad Nacional Autónoma de MéxicoCoyoacánMéxico