Dedekind finiteness in topoi
type: Item
instance of: scholarly article
title: Dedekind finiteness in topoi
zbMATH Open document ID: 0648.18005
DOI: 10.1016/0022-4049(87)90130-7
published in: Journal of Pure and Applied Algebra
publication date: 1987-01-01T00:00:00Z
review text: An object A of a topos is said to be Dedekind finite if every monic endomorphism of A is an isomorphism. In this short but useful paper, the author presents a number of counterexamples (in various toposes of presheaves or sheaves) to show that in general the notion of Dedekind finiteness is less well behaved than one might have hoped.
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 03E99
zbMATH DE Number: 4057750
zbMATH Keywords: Dedekind-finite object
zbMATH Keywords: toposes of presheaves or sheaves
author: Lawrence Neff Stout
reviewed by: Peter Johnstone
MaRDI profile type: Publication
full work available at URL: 0022-4049(87)90130-7
OpenAlex ID: W2053809287
cites work: Q3335924
cites work: Q3690816
cites work: Q3871059
cites work: The axiom of choice
cites work: Q4145861
cites work: Finiteness and decidability: II
cites work: Ultrafilters, ultrapowers and finiteness in a topos
Recommended article: Q5013820
Recommended article: Finite cardinals in general topoi
Recommended article: Finite extensions of topogenities
Recommended article: Q5755127
Recommended article: Q3335924
Recommended article: Q3421134
Recommended article: Sequential topologies and Dedekind finite sets
Recommended article: On d-finiteness in continuous structures
Recommended article: Q5751573
Recommended article: Q3469207
description: scientific article; zbMATH DE number 4057750