Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-28T12:37:08.279Z Has data issue: false hasContentIssue false
  • English
  • Français

On products of modules in a topos

Part of: Algebraic logic Special categories

Published online by Cambridge University Press:  09 April 2009

Javad Tavakoli
Javad Tavakoli
Affiliation:
Department of Mathematics, Mashhad UniversityMashhad, Iran
Rights & Permissions [Opens in a new window]

Abstract

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.

In an elementary topos if R is a ring and X is a decidable object then there exists a canonical homomorphism from the coproduct of an X-family of R-modules to the product of the same family. In this paper it is shown that this homomorphisms is a monomorphism.

MSC classification

Secondary: 18B25: Topoi 03G30: Categorical logic, topoi
Type
Research Article
Information
Journal of the Australian Mathematical Society , Volume 38 , Issue 3 , June 1985 , pp. 416 - 420
Copyright
Copyright © Australian Mathematical Society 1985

References

[1]Harting, R., ‘Internal coproduct of Abelian groups in an elementary topos,’ Comm. in Alg. 10 (11), 1173–1237 (1982).Google Scholar
[2]Johnstone, P., Topos theory (L. M. S. Mathematical Monographs No. 10, Academic Press, 1977).Google Scholar
[3]Paré, R. and Schumacher, D., ‘Abstract families and the adjoint functor theorems’ (Indexed Categories and their Application, Springer Lecture Notes in Math. 661 (1978)), 1–125.Google Scholar
[4]Tavakoli, J., Vector spaces in topoi, Ph.D., thesis, Daihousie University, Canada (1980).Google Scholar
[5]Tavakoli, J., ‘Elements of free modules in topoi’, Comm. in Alg. 10(2) 171–201 (1982).CrossRefGoogle Scholar