Filtered colimits in the effective topos

DOI10.1016/j.jpaa.2005.07.001zbMath1096.18002OpenAlexW2156407820MaRDI QIDQ819805

Jaap van Oosten

Publication date: 29 March 2006

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2005.07.001

zbMATH Keywords

projective objecteffective toposfiltered colimitsdense subcategory\(\lambda\)-small object

Mathematics Subject Classification ID

Topoi (18B25)

Cites Work

• Set theory. An introduction to independence proofs
• Generalized Banach-Mazur functionals in the topos of recursive sets
• Colimit completions and the effective topos
• Unnamed Item
• Unnamed Item