The following pages link to (Q4381416):
Displaying 8 items.
- On weak higher dimensional categories. I: Part 1 (Q1588075) (← links)
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- The structuralist mathematical style: Bourbaki as a case study (Q2080585) (← links)
- Categories with families and first-order logic with dependent sorts (Q2326422) (← links)
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics (Q2441763) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- On weak higher-dimensional categories. I: Part 3 (Q5956872) (← links)
- Bunge's mathematical structuralism is not a fiction (Q6601825) (← links)
