Abstract
It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in Akbar Tabatabai (Implication via spacetime. In: Mathematics, logic, and their philosophies: essays in honour of Mohammad Ardeshir, pp 161–216, 2021). Then, we will use a weaker version of categorical fibrations to define the geometricity of a category of pairs of spaces and implications over a given category of spaces. We will identify the greatest geometric category over the subcategories of open-irreducible (closed-irreducible) maps as a generalization of the usual injective open (closed) maps. Using this identification, we will then characterize all geometric categories over a given category \({\mathcal {S}}\), provided that \({\mathcal {S}}\) has some basic closure properties. Specially, we will show that there is no non-trivial geometric category over the full category of spaces. Finally, as the implications we identified are also interesting in their own right, we will spend some time to investigate their algebraic properties. We will first use a Yoneda-type argument to provide a representation theorem, making the implications a part of an adjunction-style pair. Then, we will use this result to provide a Kripke-style representation for any arbitrary implication.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Akbar Tabatabai, A., Implication via spacetime, in M. Mojtahedi, S. Rahman, and M.S. Zarepour, (eds.), Mathematics, Logic, and their Philosophies. Essays in Honour of Mohammad Ardeshir, vol. 49 of Logic, Epistemology, and the Unity of Science, Springer, Cham, 2021, pp. 161–216.
Borceux, F. Handbook of Categorical Algebra 1., vol. 50 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1994
Cross, C.B., Review of: Nute Donald. Conditional Logic, in D. Gabbay, and F. Guenthner (eds.) Handbook of Philosophical Logic, Volume ii, Extensions Of Classical Logic, Synthese Library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 387–439, The Journal of Symbolic Logic 54(4):1477–1479, 1989.
Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, New York, 2002
Dyckhoff, R. , and S. Negri, Geometrisation of first-order logic, Bulletin of Symbolic Logic 21(2): 123–163, 2015
Esakia, L., Heyting algebras, vol. 50 of Trends in Logic, Springer Cham, 2019.
Hughes, J., Generalising Monads to Arrows, Science of Computer Programming 37(1–3): 67–111, 2000.
Iemhoff, R., D. de Jongh, and C. Zhou, Properties of intuitionistic provability and preservativity logics, Logic Journal of the IGPL 13(6): 615–636, 2005
Iemhoff, R., Preservativity logic: an analogue of interpretability logic for constructive theories, Mathematical Logic Quarterly 49(3): 230–249, 2003
Jacobs, B., C. Heunen, and I. Hasuo, Categorical semantics for arrows, Journal of Functional Programming 19(3–4): 403–438, 2009
Johnstone, P.T., Sketches of an Elephant: A Topos Theory Compendium Vol. 1, vol. 43 of Oxford Logic Guides, The Clarendon Press, Oxford University Press, New York, 2002.
Johnstone, P.T., Sketches of An Elephant: A Topos Theory Compendium, Vol. 2, vol. 44 of Oxford Logic Guides, The Clarendon Press, Oxford University Press, New York, 2002.
Johnstone, P.T., Stone Spaces, vol. 3 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 1982
Litak, T. and A. Visser, Lewis meets Brouwer: constructive strict implication, Indagationes Mathematicae (N.S.), 29(1):36–90, 2018
Mac Lane, S., and I. Moerdijk, Sheaves in Geometry and Logic, a First Introduction to Topos Theory. Universitext, Springer, New York, 1994
Picado, J., and A. Pultr, Frames and Locales: Topology Without Points, Springer, Berlin, 2011
Ruitenburg, W., Basic logic and fregean set theory. Dirk van Dalen Festschrift, Questiones Infinitae 5:121–142, 1992
Vickers, S., Continuity and geometric logic, Journal of Applied Logic 12(1): 14–27, 2014
Vickers, S., Topology Via Logic, vol. 5 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 1989
Visser, A., A propositional logic with explicit fixed points, Studia Logica 40(2):155–175, 1981.
Visser, A., Aspects of diagonalization and provability, PhD thesis, University of Utrecht, 1981.
Acknowledgements
Supported by the Czech Academy of Sciences (RVO 67985840). The support by the FWF Project P 33548 is also gratefully acknowledged.
Funding
Open access publishing supported by the National Technical Library in Prague.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Yde Venema.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Akbar Tabatabai, A. On Geometric Implications. Stud Logica (2024). https://doi.org/10.1007/s11225-023-10094-x
Received:
Published:
DOI: https://doi.org/10.1007/s11225-023-10094-x