A Generative Model for External Categories via Faithful Filters in General topos
Year: 2026
Type: preprint
Abstract: We present a structural extension to the generative framework of external categories established via faithful filters. By transitioning from a classical, Boolean valuation to a Heyting algebra-valued lattice Omega, we resolve the problem of local topological continuous categoricity. We introduce an upgraded set of axioms governing identity restriction and composition closure under structural meets , and solve the completeness/bijectivity problem for Omega-enriched sheaves using a local supremum selection rule.
Author: M'NARI, Omar
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7165766321
Cites:
Cited by:
Related to: