Pages that link to "Item:Q2946651"

The following pages link to Topological and Simplicial Models of Identity Types (Q2946651):

Displaying 2 items.

• The Local Universes Model (Q2957763) (← links)
• A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)