Good Fibrations through the Modal Prism (Q5094695)
From MaRDI portal
scientific article; zbMATH DE number 7567920
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Good Fibrations through the Modal Prism |
scientific article; zbMATH DE number 7567920 |
Statements
4 August 2022
0 references
homotopy type theory
0 references
modality
0 references
fibration
0 references
axiomatic cohesion
0 references
math.CT
0 references
math.AT
0 references
math.LO
0 references
