Many familiar categories can be interpreted as categories of generalized metric spaces

DOI10.1023/A:1020526912025zbMath1025.18001OpenAlexW1530820415MaRDI QIDQ1866044

Jobst Heitzig

Publication date: 3 April 2003

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020526912025

zbMATH Keywords

distance spacecategory embedding

Mathematics Subject Classification ID

Partial orders, general (06A06) Structure of general topological groups (22A05) Topological spaces with richer structures (54E99) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Heyting algebras (lattice-theoretic aspects) (06D20) Distance in graphs (05C12) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Categories of algebras (08C05) Embedding theorems, universal categories (18B15) Ordered structures (06F99) Subsystems of classical logic (including intuitionistic logic) (03B20) Connections of general topology with other structures, applications (54H99) Classical measure theory (28A99) Topological fields (12J99) Algebraic logic (03Gxx)

Related Items (1)

CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC

This page was built for publication: Many familiar categories can be interpreted as categories of generalized metric spaces