scientific article
From MaRDI portal
Publication:2762220
zbMath1002.18005MaRDI QIDQ2762220
Publication date: 8 January 2002
Full work available at URL: https://eudml.org/doc/122250
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Topoi (18B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Accessible and locally presentable categories (18C35)
Related Items (4)
General facts on the Scott adjunction ⋮ Presenting locale pullback via directed complete posets ⋮ Completeness of cocompletions ⋮ The Bicategory-Theoretic Solution of Recursive Domain Equations
This page was built for publication: