scientific article
From MaRDI portal
Publication:3137163
zbMATH Open0805.18001MaRDI QIDQ3137163FDOQ3137163
Publication date: 4 November 1993
Title of this publication is not available (Why is that?)
solution setweak colimitcolimitscomplete categorycartesian closed categoriescomplete Heyting algebrasadjoint functor theorem
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Foundations, relations to logic and deductive systems (18A15)
Cited In (4)
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 Q3137163)