On the role of description

DOI10.1016/S0022-4049(00)00005-0zbMath0983.18003MaRDI QIDQ5936011

Alain Prouté

Publication date: 9 April 2002

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

zbMATH Keywords

description operatordiagonal classifierinternal equalitysubobject classifiertopos

Mathematics Subject Classification ID

Topoi (18B25)

Related Items (1)

Sheaf tools for computation

Cites Work

• Unnamed Item
• Sheaves in geometry and logic: a first introduction to topos theory
• Aspects of topoi

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