The Kock-Mikkelsen factorisation

DOI10.1017/S0960129525100340MaRDI QIDQ6879481zbMATH OpenFDO

Authors Martin Hyland

Publication date 30 December 2025

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S0960129525100340

zbMATH Keywords

factorizationtoposestripos theory

Mathematics Subject Classification ID

Topoi (18B25)

Cites work

• A characterization of the left exact categories whose exact completions are toposes
• Colimit completions and the effective topos
• Continuous families of coalgebras
• Exact functors and measurable cardinals
• Exact functors, local connectedness and measurable cardinals
• scientific article; zbMATH DE number 3528456 (Why is no real title available?)
• scientific article; zbMATH DE number 3434093 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3339463 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Locale morphisms with exact direct image functor in sheaves
• Locally cartesian closed exact completions
• Nonstandard proof methods in toposes
• Open maps of toposes
• Quotient completion for the foundation of constructive mathematics
• Realizability. An introduction to its categorical side
• Stone duality for first order logic
• Strong conceptual completeness for first-order logic
• Tripos theory
• Ultrafilters, finite coproducts and locally connected classifying toposes

This page was built for publication: The Kock-Mikkelsen factorisation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6879481)