scientific article

zbMath0421.03050MaRDI QIDQ3853627

Peter T. Johnstone

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

category of set theoretic modelsfinitely localizable categoriesfinitely presentable categoriesfirst order geometric theories

Mathematics Subject Classification ID

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: