The following pages link to (Q4679166):
Displaying 6 items.
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- The weak choice principle WISC may fail in the category of sets (Q497424) (← links)
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- A meaning explanation for HoTT (Q2054122) (← links)
- Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes (Q2229273) (← links)
- Strange new universes: Proof assistants and synthetic foundations (Q6130525) (← links)
