The following pages link to (Q4109809):
Displaying 6 items.
- Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
- Conditional theories (Q1092039) (← links)
- The visual cortex is a contact bundle (Q1123169) (← links)
- Théories egalitaires dans les langages sur types de graphes (Q1146671) (← links)
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- Comparing material and structural set theories (Q1715477) (← links)
