The following pages link to (Q4381416):
Displaying 16 items.
- The rôle of categorical structures in infinitesimal calculus (Q530113) (← links)
- On weak higher dimensional categories. I: Part 1 (Q1588075) (← links)
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- Avoiding the axiom of choice in general category theory (Q1917386) (← 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)
- Towards an axiomatization of the theory of higher categories (Q2576459) (← links)
- Some proposals for the set-theoretic foundations of category theory (Q2926202) (← links)
- (Q3527490) (← links)
- A Real Number Structure that is Effectively Categorical (Q4243908) (← links)
- (Q4367604) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- (Q5193160) (← links)
- On weak higher-dimensional categories. I: Part 3 (Q5956872) (← links)
- Bunge's mathematical structuralism is not a fiction (Q6601825) (← links)