Undecidability of the free adjoint construction

MaRDI QIDQ1410542zbMATH OpenFDO

Authors Robert Paré, Dorette Pronk, Robert Dawson

Publication date 14 October 2003

Published in Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

undecidabilityhalting problemfree adjoint construction

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Recommendations

• Adjoining adjoints
• Free adjunction of morphisms
• scientific article; zbMATH DE number 1471986
• Undecidability of equality in the free locally Cartesian closed category
• scientific article; zbMATH DE number 6816943

Cited in

(3)

• scientific article; zbMATH DE number 2114479 (Why is no real title available?)
• A calculus of lax fractions
• Adjoining adjoints

This page was built for publication: Undecidability of the free adjoint construction

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