Pages that link to "Item:Q2953831"

The following pages link to Products of families of types and (Pi,lambda)-structures on C-systems (Q2953831):

Displayed 10 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)
• 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)