On the role of description

DOI10.1016/S0022-4049(00)00005-0MaRDI QIDQ5936011zbMATH OpenFDO

Authors Alain Prouté

Publication date 9 April 2002

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0022-4049(00)00005-0

zbMATH Keywords

description operatordiagonal classifierinternal equalitysubobject classifiertopos

Mathematics Subject Classification ID

Topoi (18B25)

Review text

The problem treated in this paper is connected with the possibility of an alternative axiomatization of the subobject classifier of a topos. It is proved that, if axiomatizing internal equality through a ``diagonal classifier (instead of the subobject classifier), and if an axiom asking for the existence of a ``description operator, which enables to ``peek the sole element of any singleton, is added, then a new definition for the notion of topos is obtained. In this way the role of sentences like ``the unique \(x\) in \(A\) such that \dots in ordinary mathematical language is illuminated.

Recommendations

• The theory of descriptions revisited
• On descriptive systems
• Descriptions and unknowability
• scientific article; zbMATH DE number 2051901
• scientific article; zbMATH DE number 1163391

Cites work

• Aspects of topoi
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(4)

• Descriptions in mathematical logic
• The theory of descriptions revisited
• On descriptive systems
• Sheaf tools for computation

This page was built for publication: On the role of description

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5936011)