On some connections between logic and category theory (Q919088)
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 4158912
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On some connections between logic and category theory |
scientific article; zbMATH DE number 4158912 |
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
0.7851482629776001
0 references
0.7641588449478149
0 references
