Undecidability of the free adjoint construction

zbMath1030.18002MaRDI QIDQ1410542

Robert Paré, Dorette Pronk, Robert J. MacG. 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)

Related Items (3)

A calculus of lax fractions ⋮ Adjoining adjoints ⋮ Unnamed Item

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