Skip to main content
Article
Dedekind Finiteness in Topoi
Journal of Pure and Applied Algebra (1987)
  • Lawrence N. Stout, Illinois Wesleyan University
Abstract
A Dedekind finite object in a topos is an object such that any monic endomorphism is an epimorphism. This paper proves the basic properties of Dedekind finiteness and then gives examples which show that the class of Dedekind finite objects is not closed under quotients, subobjects, exponentiation, or finite powerobjects. Examples also show that having no nontrivial epic endomorphisms is distinct from Dedekind finiteness.
Disciplines
Publication Date
1987
Citation Information
Lawrence N. Stout. "Dedekind Finiteness in Topoi" Journal of Pure and Applied Algebra Vol. 49 (1987)
Available at: http://works.bepress.com/lawrence_stout/17/