Hostname: page-component-745bb68f8f-v2bm5 Total loading time: 0 Render date: 2025-01-08T17:34:34.347Z Has data issue: false hasContentIssue false
  • English
  • Français

Images in Topoi

Published online by Cambridge University Press:  20 November 2018

K. A. Rowe
K. A. Rowe*
Affiliation:
Department of Mathematics University of Waterloo, Waterloo, Ontario
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The construction of images of morphisms in an elementary topos E has hithero required the use of colimits. For example, in [1], Freyd constructs the image of a morphism by taking the equalizer of the cokernel pair of the morphism. In particular, the construction of the direct image functor, or, as it is sometimes referred to, existential quantification along a morphism, has required the use of images, and hence colimits. However, Mikkelsen has defined existential quantification using only limits.

Type
Research Article
Information
Canadian Mathematical Bulletin , Volume 20 , Issue 4 , 01 December 1977 , pp. 471 - 478
Copyright
Copyright © Canadian Mathematical Society 1977

References

1. Freyd, P., Aspects of Topoi. Bull. Australian Math. Soc, Vol. 7 (1972).Google Scholar
2. Kock, A., Lecouturier, P., and Mikkelsen, C., Some Topos-theoretic Concepts of Finiteness. Aarhus University Preprint Series No. 29 (1974).Google Scholar
3. Rowe, K.A., Topoidal Set Theory. University of Waterloo, Dec. (1974).Google Scholar