scientific article; zbMATH DE number 1443571

zbMath0957.18002MaRDI QIDQ4953035

Giuseppe Rosolini

Publication date: 14 December 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

topospreorderCauchy completeness

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical logic, topoi (03G30) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items

On the Logic of Generalised Metric Spaces