MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (Q5879185)
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 7657282
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS |
scientific article; zbMATH DE number 7657282 |
Statements
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (English)
0 references
27 February 2023
0 references
Martin-Löf theory
0 references
comprehension category
0 references
algebraic weak factorisation system
0 references
0 references
0 references
0.8147315979003906
0 references
0.8135774731636047
0 references
0.793340265750885
0 references
0.7929986715316772
0 references
0.7860130071640015
0 references
