The logic of structures

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

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

accessible categories Cartesian closed categories categories of models continuous functors linear logic normal forms presentable categories sketches

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)

Review text

``Proof-theoretic properties of various categories of accessible categories (Cartesian closure, normal forms, links with linear logic) are investigated. The connection of accessible categories with sketches is used (accessible categories being the categories of models of a small sketch). The author works in ZFC + the axiom of universes. The following topics are studied in detail: \(\beta\)-accessible categories and \(\beta\)- continuous functors (with a regular cardinal); Cartesian closed categories of accessible categories; some linear features (in the sense of Girard's linear logic) of the theory of \(\alpha\)-presentable categories.

Recommendations

Cites work

Cited in

(16)

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)