arXiv Open Access 2025

A Completeness Theorem for Topological Doctrines

Silvio Ghilardi Jérémie Marquès

Lihat Sumber

Abstrak

We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product independence' and a `loop contraction' principle.

Topik & Kata Kunci

math.CT math.LO

Penulis (2)

Silvio Ghilardi

Jérémie Marquès

Format Sitasi

APA MLA BibTeX

Ghilardi, S., Marquès, J. (2025). A Completeness Theorem for Topological Doctrines. https://arxiv.org/abs/2507.20768

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓