Pages that link to "Item:Q2974664"

The following pages link to An algebraic weak factorisation system on 01-substitution sets: a constructive proof (Q2974664):

Displaying 6 items.

• Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets (Q1797955) (← links)
• The univalence axiom in cubical sets (Q2319981) (← links)
• Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
• (Q5089011) (← links)
• (Q5091148) (← links)
• (Q6079241) (← links)