A Point-Free Relation-Algebraic Approach to General Topology

DOI10.1007/978-3-319-06251-8_14MaRDI QIDQ5410487zbMATH OpenOpenAlexFDO

Authors Gunther Schmidt

Publication date 16 April 2014

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06251-8_14

zbMATH Keywords

continuityexistential imagehomomorphismrelational mathematicstopology

Mathematics Subject Classification ID

Generalities in topology (54A99) Continuous maps (54C05) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• From Intuitionistic Mathematics to Point-Free Topology
• Notes on Point-Free Topology
• A relational generalization of the Khalimsky topology
• McKinsey-Tarski algebras: an alternative pointfree approach to topology
• scientific article; zbMATH DE number 2246085
• scientific article; zbMATH DE number 1933205
• scientific article; zbMATH DE number 2068085
• scientific article; zbMATH DE number 4190661
• scientific article; zbMATH DE number 3895131
• scientific article; zbMATH DE number 1205883

Cited in

(8)

• Cryptomorphic topological structures: a computational, relation-algebraic approach
• Relational topology
• scientific article; zbMATH DE number 1933205 (Why is no real title available?)
• scientific article; zbMATH DE number 1762070 (Why is no real title available?)
• scientific article; zbMATH DE number 775163 (Why is no real title available?)
• Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
• scientific article; zbMATH DE number 3895131 (Why is no real title available?)
• Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces

Describes a project that uses

Uses Software

• TituRel

This page was built for publication: A Point-Free Relation-Algebraic Approach to General Topology

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