CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC (Q5855747)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC |
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
0 references
0.7282435
0 references
0 references
0.7114973
0 references
0.70352817
0 references
0.6863264
0 references