Pages that link to "Item:Q2953831"
From MaRDI portal
The following pages link to Products of families of types and (Pi,lambda)-structures on C-systems (Q2953831):
Displaying 8 items.
- The homotopy theory of type theories (Q1785779) (← 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)
- The (Pi,lambda)-structures on the C-systems defined by universe categories (Q2963471) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- Martin-Löf identity types in C-systems (Q6139425) (← links)
