Finite objects in a locos

DOI10.1016/S0022-4049(97)81630-1MaRDI QIDQ678844zbMATH OpenFDO

Authors Barry Jay

Publication date 27 April 1997

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

zbMATH Keywords

2-valued toposaxioms of choicefinite cardinalslistable objectslocos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) General theory of categories and functors (18A99) Categories of machines, automata (18B20)

Recommendations

• scientific article; zbMATH DE number 4106837
• Finite cardinals in general topoi
• scientific article; zbMATH DE number 4027725
• A new approach to finite objects in a topos
• \(K\)-finite decidable objects and finite cardinals in an arbitrary topos

Cites work

• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3727583 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Introduction to extensive and distributive categories
• List-arithmetic distributive categories: Locoi
• Tail recursion through universal invariants

Cited in

(2)

• scientific article; zbMATH DE number 4106837 (Why is no real title available?)
• List-arithmetic distributive categories: Locoi

This page was built for publication: Finite objects in a locos

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