Univalence and ontic structuralism (Q6586941)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Univalence and ontic structuralism |
scientific article; zbMATH DE number 7896336
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Univalence and ontic structuralism |
scientific article; zbMATH DE number 7896336 |
Statements
Univalence and ontic structuralism (English)
0 references
13 August 2024
0 references
univalent foundations
0 references
homotopy type theory
0 references
ontic structuralism
0 references
isomorphism as identity
0 references
hole argument
0 references
gauge symmetry
0 references
0 references
