Extending set functors to generalised metric spaces (Q4625693)
From MaRDI portal
scientific article; zbMATH DE number 7029304
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extending set functors to generalised metric spaces |
scientific article; zbMATH DE number 7029304 |
Statements
25 February 2019
0 references
generalised metric spaces
0 references
domain theory
0 references
denotational semantics
0 references
type theory
0 references
coalgebra
0 references
enriched category theory
0 references
Kan extensions
0 references
density presentation
0 references
math.CT
0 references
cs.LO
0 references
0 references
