Topologies and free constructions

DOI10.12775/LLP.2013.015MaRDI QIDQ4982516zbMATH OpenOpenAlexFDO

Authors Anna Bucalo, Giuseppe Rosolini

Publication date 9 April 2015

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.2013.015

zbMATH Keywords

topological spaces

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)

Recommendations

• Completions, comonoids, and topological spaces
• Sobriety for equilogical spaces
• scientific article; zbMATH DE number 19035
• Topical categories of domains
• scientific article; zbMATH DE number 2247259

Cited in

(7)

• On free constructions
• Sobriety for equilogical spaces
• Completions, comonoids, and topological spaces
• scientific article; zbMATH DE number 1555466 (Why is no real title available?)
• scientific article; zbMATH DE number 2247259 (Why is no real title available?)
• On constructing the associated Graev topology
• Topological categories

This page was built for publication: Topologies and free constructions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4982516)