scientific article; zbMATH DE number 1443571

MaRDI QIDQ4953035zbMATH OpenFDO

Authors Giuseppe Rosolini

Publication date 14 December 2000

zbMATH Keywords

Cauchy completenesspreordertopos

Mathematics Subject Classification ID

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

Recommendations

• Small Cauchy completions
• scientific article; zbMATH DE number 426304
• Lawvere completeness in topology

Cited in

(8)

• Order ideals in categories
• Weak equivalence of internal categories
• scientific article; zbMATH DE number 1870570 (Why is no real title available?)
• scientific article; zbMATH DE number 1457347 (Why is no real title available?)
• On the logic of generalised metric spaces
• Cauchy completions and the rule of unique choice in relational doctrines
• Double categories of relations relative to factorisation systems
• Small Cauchy completions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953035)