scientific article; zbMATH DE number 937370
From MaRDI portal
Publication:4896510
zbMath0862.18002MaRDI QIDQ4896510
Publication date: 25 May 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical logic, topoi (03G30) Topoi (18B25) Proof theory in general (including proof-theoretic semantics) (03F03) Foundations, relations to logic and deductive systems (18A15)
Related Items
Unnamed Item, Cocomplete toposes whose exact completions are toposes, Modes of adjointness, EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS, Läuchli's completeness theorem from a topos-theoretic perspective, Weak subobjects and the epi-monic completion of a category., A characterization of the left exact categories whose exact completions are toposes
