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 7 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)
- C-systems defined by universe categories: presheaves (Q2963470) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- Martin-Löf identity types in C-systems (Q6139425) (← links)
