Negating as turning upside down

Awodey, S. (2006). Category Theory. Oxford University Press.10.1093/acprof:oso/9780198568612.001.0001Open DOISearch in Google Scholar

Chrudzimski, A. (2012). Negative states of affairs: Reinach versus ingarden. Symposium. The Canadian Journal of Continental Philosophy, 16(2): 106-127.10.5840/symposium201216230Open DOISearch in Google Scholar

Horn, L. R. and Wansing, H. (2017). Negation. In Zalta, E. N., editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, spring 2017 edition.Search in Google Scholar

Lawvere, F. W. (1969). Adjointness in Foundations. Dialectica, 23(3/4): 281-296.10.1111/j.1746-8361.1969.tb01194.xOpen DOISearch in Google Scholar

Mac Lane, S. (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer.Search in Google Scholar

Marquis, J.-P. (2015). Category theory. In Zalta, E. N., editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, winter 2015 edition.Search in Google Scholar

Pogorzelski, W. and Wojtylak, P. (2008). Completeness Theory for Propositional Logics. Studies in Universal Logic. Birkh¨auser Basel.Search in Google Scholar

Ramsey, F. P. (1927). Symposium: Facts and propositions. Proceedings of the Aristotelian Society, Supplementary Volumes, 7: 153-170.10.1093/aristoteliansupp/7.1.153Open DOISearch in Google Scholar

Skowron, B. (2015). Using Mathematical Modeling as an Example of Qualitative Reasoning in Metaphysics. A Note on a Defense of the Theory of Ideas. Annals of Computer Science and Information Systems, (7): 65-68.Search in Google Scholar

Smith, P. (2010). The Galois Connection Between Syntax and Semantics. logic matters.net/resources/pdfs/Galois.pdf.Search in Google Scholar

Varzi, A. C. and Warglien, M. (2003). The Geometry of Negation. Journal of Applied Non-Classical Logics, 13(1): 9-19.Search in Google Scholar