The logic of structures (Q1196790)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 89559
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The logic of structures |
scientific article; zbMATH DE number 89559 |
Statements
The logic of structures (English)
0 references
16 January 1993
0 references
``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.
0 references
continuous functors
0 references
presentable categories
0 references
accessible categories
0 references
normal forms
0 references
linear logic
0 references
sketches
0 references
categories of models
0 references
Cartesian closed categories
0 references
0.799439013004303
0 references
0.7890785336494446
0 references
0.7667853236198425
0 references
0.7667853236198425
0 references
