The following pages link to (Q5277978):
Displaying 9 items.
- Simple and subdirectly irreducible finitely supported \(Cb\)-sets (Q1680555) (← links)
- Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets (Q1797955) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
- Cartesian cubical computational type theory: Constructive reasoning with paths and equalities (Q5079726) (← links)
- The fresh-graph of a nominal set (Q6059081) (← links)
- (Q6060677) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)
