The following pages link to (Q4936141):
Displaying 21 items.
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- Inductive types and exact completion (Q556819) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Domain representations of topological spaces (Q1583255) (← links)
- Locally cartesian closed exact completions (Q1588066) (← links)
- More exact completions that are toposes (Q1602851) (← links)
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. (Q1607287) (← links)
- Foundation of a computable solid modelling. (Q1607293) (← links)
- Equilogical spaces (Q1826625) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
- Sobriety for equilogical spaces (Q2253179) (← links)
- On generalized equilogical spaces (Q2310780) (← links)
- (Q4675788) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- (Q5208904) (← links)
- When do completion processes give rise to extensive categories? (Q5939822) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)
