2000 character limit reached
A Completeness Theorem for Topological Doctrines
Published 28 Jul 2025 in math.CT and math.LO | (2507.20768v1)
Abstract: 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 aloop contraction' principle.
Paper Prompts
Sign up for free to create and run prompts on this paper.