The following pages link to Theories of presheaf type (Q5311762):
Displayed 10 items.
- Left Kan extensions preserving finite products (Q456881) (← links)
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) (Q502643) (← links)
- Cellular objects and Shelah's singular compactness theorem (Q899557) (← links)
- Completeness of cocompletions (Q1770534) (← links)
- General facts on the Scott adjunction (Q2139725) (← links)
- Towards higher topology (Q2229960) (← links)
- Fraïssé's construction from a topos-theoretic perspective (Q2254565) (← links)
- (Q3606618) (← links)
- When is Flatness Coherent? (Q5466663) (← links)
- On duality and model theory for polyadic spaces (Q6139255) (← links)