Pages that link to "Item:Q2963470"

The following pages link to C-systems defined by universe categories: presheaves (Q2963470):

Displaying 8 items.

• Construction of the circle in \textit{UniMath} (Q2031555) (← links)
• The first bijective proof of the refined ASM theorem (Q2199809) (← 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)
• The mysterious story of square ice, piles of cubes, and bijections (Q5073160) (← links)
• Martin-Löf identity types in C-systems (Q6139425) (← links)