The Kock-Mikkelsen factorisation (Q6879481)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 8140616
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Kock-Mikkelsen factorisation |
scientific article; zbMATH DE number 8140616 |
Statements
The Kock-Mikkelsen factorisation (English)
0 references
30 December 2025
0 references
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.
0 references
toposes
0 references
tripos theory
0 references
factorization
0 references
