Pages that link to "Item:Q2963471"
From MaRDI portal
The following pages link to The (Pi,lambda)-structures on the C-systems defined by universe categories (Q2963471):
Displaying 10 items.
- The étale cohomology of the general linear group over a finite field and the Dickson algebra (Q1753064) (← links)
- Construction of the circle in \textit{UniMath} (Q2031555) (← links)
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- Products of families of types and (Pi,lambda)-structures on C-systems (Q2953831) (← links)
- C-systems defined by universe categories: presheaves (Q2963470) (← links)
- Vladimir Aleksandrovich Voevodsky (Q4558118) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- The Interpretation Lifting Theorem for C-Systems (Q5025082) (← links)
- Martin-Löf identity types in C-systems (Q6139425) (← links)
