The Kock-Mikkelsen factorisation
From MaRDI portal
This paper deals with the Kock-Mikkelsen factorization [\textit{A. Kock} and \textit{Chr. J. Mikkelsen}, Lect. Notes Math. None, 122--143 (1974; Zbl 0276.18001)] within the theory of triposes [\textit{J. M. E. Hyland} et al., Math. Proc. Camb. Philos. Soc. 88, 205--232 (1980; Zbl 0451.03027); \textit{A. M. Pitts}, Math. Struct. Comput. Sci. 12, No. 3, 265--279 (2002; Zbl 1005.18005)]. It is shown that any left exact functor to toposes admits a Kock-Mikkelsen factrozation.
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)
