The following pages link to (Q5298120):
Displaying 6 items.
- Natural number objects in Dialectica categories (Q281151) (← links)
- Morphisms of open games (Q2134815) (← links)
- Some classes of abstract simplicial complexes motivated by module theory (Q2196332) (← links)
- A topologist's view of Chu spaces (Q2471013) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
