Pages that link to "Item:Q3197988"
From MaRDI portal
The following pages link to Colimit completions and the effective topos (Q3197988):
Displaying 19 items.
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- The modified realizability topos (Q678851) (← links)
- Filtered colimits in the effective topos (Q819805) (← links)
- Axiomatizing higher-order Kleene realizability (Q1338200) (← links)
- Extensional realizability (Q1356980) (← links)
- Locally cartesian closed exact completions (Q1588066) (← links)
- Characterizing partitioned assemblies and realizability toposes (Q1713020) (← links)
- Equilogical spaces (Q1826625) (← links)
- A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
- Some free constructions in realizability and proof theory (Q1903677) (← links)
- Univalent polymorphism (Q1987219) (← links)
- Fraïssé's construction from a topos-theoretic perspective (Q2254565) (← links)
- The Discrete Objects in the Effective Topos (Q3481914) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- Regular functors and relative realisability categories (Q5400856) (← links)
- Algebraic set theory and the effective topos (Q5718693) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)