Year: 2026
Type: preprint
Abstract: We study natural topologies on spaces of subobjects of a fixed object in a suitable category, with the aim of determining when these spaces are spectral. A central step in our approach, which is also of independent interest, is the comparison between the categorical notion of a $λ$-generated object and the order-theoretic notion of a $λ$-compact element in a lattice of subobjects. We prove that these notions coincide under some natural and mild assumptions . In the finitary case, this allows us to describe the finitely generated subobjects purely in order-theoretic terms and to construct, inside each interval of a subobject lattice, a canonical algebraic core. We study this construction abstractly for complete lattices and characterize it by a universal property. We then introduce the categorical Zariski topology on spaces of subobjects, relate it to the Scott topology, and obtain spectrality criteria for the whole subobject space and for its algebraic core.
Source: arXiv (Cornell University)
Institutions: University of Catania, UCLouvain, KU Leuven
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7202286476
Cites:
Cited by:
Related to: