scientific article
From MaRDI portal
Publication:3853627
zbMath0421.03050MaRDI QIDQ3853627
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
category of set theoretic modelsfinitely localizable categoriesfinitely presentable categoriesfirst order geometric theories
Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Equational classes, universal algebra in model theory (03C05) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Localization of categories, calculus of fractions (18E35) Local categories and functors (18F05)
Related Items (16)
A logical approach to stable domains ⋮ Stone duality and representation of stable domain ⋮ Limits in free coproduct completions ⋮ A topos-theorist looks at dilators ⋮ A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES ⋮ Pluri-adjoints and preservation of finite limits ⋮ An algebraic approach to stable domains ⋮ Stable neighbourhoods ⋮ Syntactic characterizations of closure under pullbacks and of locally polypresentable categories ⋮ Universal abstract elementary classes and locally multipresentable categories ⋮ Fraïssé's construction from a topos-theoretic perspective ⋮ Syntactic characterization of closure under connected limits ⋮ Disjunctive systems and L-Domains ⋮ De Morgan's law and the theory of fields ⋮ Quasi-coproducts and accessible categories with wide pullbacks ⋮ On abstract data types presented by multiequations
This page was built for publication:
