The logic of structures

DOI10.1016/0022-4049(92)90123-WMaRDI QIDQ1196790zbMATH OpenFDO

Authors Pierre Ageron

Publication date 16 January 1993

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-4049(92)90123-W

zbMATH Keywords

accessible categoriesCartesian closed categoriescategories of modelscontinuous functorslinear logicnormal formspresentable categoriessketches

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Cut-elimination and normal-form theorems (03F05) Graphs, diagram schemes, precategories (18A10) Foundations, relations to logic and deductive systems (18A15) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Semantics in the theory of computing (68Q55)

Recommendations

• A global glance on categories in logic
• Accessible Categories: The Foundations of Categorical Model Theory
• scientific article; zbMATH DE number 2134910
• Finitary sketches and finitely accessible categories
• Pointwise inductive limits in accessible categories

Cites work

• Accessible Categories: The Foundations of Categorical Model Theory
• Cartesian closed categories of algebraic cpos
• Categories localement multipresentables
• Categories of embeddings
• scientific article; zbMATH DE number 3849206 (Why is no real title available?)
• scientific article; zbMATH DE number 3819974 (Why is no real title available?)
• scientific article; zbMATH DE number 3826063 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3908650 (Why is no real title available?)
• scientific article; zbMATH DE number 4012855 (Why is no real title available?)
• scientific article; zbMATH DE number 4093718 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 4125650 (Why is no real title available?)
• scientific article; zbMATH DE number 4128423 (Why is no real title available?)
• scientific article; zbMATH DE number 3801532 (Why is no real title available?)
• scientific article; zbMATH DE number 3311793 (Why is no real title available?)
• scientific article; zbMATH DE number 3344729 (Why is no real title available?)
• scientific article; zbMATH DE number 3394391 (Why is no real title available?)
• Linear logic
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Normal functors, power series and -calculus
• Quantitative domains, groupoids and linear logic

Cited in

(16)

• Structures of logic in policy and theory: identifying sub-systemic bricks for investigating, building, and understanding conceptual systems
• Quasi-coproducts and accessible categories with wide pullbacks
• scientific article; zbMATH DE number 4125650 (Why is no real title available?)
• scientific article; zbMATH DE number 1264285 (Why is no real title available?)
• scientific article; zbMATH DE number 1264287 (Why is no real title available?)
• scientific article; zbMATH DE number 672104 (Why is no real title available?)
• scientific article; zbMATH DE number 1022261 (Why is no real title available?)
• Interactive Logical Structures
• scientific article; zbMATH DE number 218501 (Why is no real title available?)
• scientific article; zbMATH DE number 6163273 (Why is no real title available?)
• scientific article; zbMATH DE number 7063489 (Why is no real title available?)
• Logic and structure.
• Logic and structure
• Accessible categories with a class of limits
• Syntactic characterizations of closure under pullbacks and of locally polypresentable categories
• A global glance on categories in logic

This page was built for publication: The logic of structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1196790)