Metric enrichment, finite generation, and the path coreflection (Q6125065)
From MaRDI portal
scientific article; zbMATH DE number 7830506
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Metric enrichment, finite generation, and the path coreflection |
scientific article; zbMATH DE number 7830506 |
Statements
Metric enrichment, finite generation, and the path coreflection (English)
0 references
11 April 2024
0 references
complete metric space
0 references
path metric
0 references
intrinsic metric
0 references
gluing
0 references
convex
0 references
monoidal closed
0 references
enriched
0 references
tensored
0 references
locally presentable
0 references
colimit
0 references
internal hom
0 references
