CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC (Q5855747)
From MaRDI portal
scientific article; zbMATH DE number 7326433
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC |
scientific article; zbMATH DE number 7326433 |
Statements
CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC (English)
0 references
19 March 2021
0 references
continuous logic
0 references
continuous subobject
0 references
geometric category
0 references
monoidal category
0 references
predicate classifier
0 references
presheaf
0 references
pseudometric space
0 references
quantale
0 references
regular category
0 references
regular monomorphism
0 references
subobject classifier
0 references
uniformly continuous map
0 references
0 references
0 references
