On some connections between logic and category theory (Q919088)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On some connections between logic and category theory |
scientific article |
Statements
On some connections between logic and category theory (English)
0 references
1989
0 references
Categories may be viewed as deductive systems or as algebraic theories. The author is primarily interested in the interplay between these two views and trace it through a number of structured categories and their internal languages, bearing in mind their relevance for the foundations of mathematics.
0 references
deductive systems
0 references
algebraic theories
0 references
structured categories
0 references
internal languages
0 references
foundations of mathematics
0 references
