Logic, sheaves, and factorization systems (Q4276025)
From MaRDI portal
scientific article; zbMATH DE number 488034
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic, sheaves, and factorization systems |
scientific article; zbMATH DE number 488034 |
Statements
Logic, sheaves, and factorization systems (English)
0 references
26 June 1994
0 references
categorical logic
0 references
completeness theorems
0 references
logic of categories
0 references
first- order logic
0 references
topoi
0 references
factorization system
0 references
completeness proofs
0 references
axiomatization
0 references
EM-categories
0 references
sheaves
0 references
higher-order logic
0 references
near-topoi
0 references
Lawvere-Tierney topology
0 references
