Injective power objects and the axiom of choice
type: Item
instance of: scholarly article
title: Injective power objects and the axiom of choice
zbMATH Open document ID: 1208.03059
author: Toby Kenney
published in: Journal of Pure and Applied Algebra
publication date: 2010-10-28T00:00:00Z
review text: The author investigates the axiom of choice in a topos by interpreting the crucial term ``non-empty'' as being ``injective''. He shows among other things that if the axiom of choice holds in the category of sets, then it holds in a wide variety of topoi, including all localic topoi, and that the topos-version has several of the classical consequences of the axiom of choice.
reviewed by: Horst Herrlich
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 5807454
zbMATH Keywords: topos
zbMATH Keywords: injective
zbMATH Keywords: axiom of choice
Wikidata QID: Q114013820
MaRDI profile type: Publication
full work available at URL: j.jpaa.2010.04.004
OpenAlex ID: W2005548176
cites work: Axiom of Choice and Complementation
cites work: Choice and well-ordering
cites work: Q3411953
cites work: Q4783274
cites work: Q3413677
cites work: Q3413676
DOI: 10.1016/J.JPAA.2010.04.004
description: scientific article; zbMATH DE number 5807454