On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036)
From MaRDI portal
scientific article; zbMATH DE number 7785163
Language | Label | Description | Also known as |
---|---|---|---|
English | On categorical structures arising from implicative algebras: from topology to assemblies |
scientific article; zbMATH DE number 7785163 |
Statements
On categorical structures arising from implicative algebras: from topology to assemblies (English)
0 references
8 January 2024
0 references
implicative algebras
0 references
tripos
0 references
assemblies
0 references