scientific article
From MaRDI portal
Publication:3137163
zbMath0805.18001MaRDI QIDQ3137163
Publication date: 4 November 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
solution setweak colimitcomplete categorycolimitscartesian closed categoriescomplete Heyting algebrasadjoint functor theorem
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Foundations, relations to logic and deductive systems (18A15)
Related Items (1)
This page was built for publication: