Finite objects in a locos

DOI10.1016/S0022-4049(97)81630-1zbMath0893.18003MaRDI QIDQ678844

C. 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)

Cites Work

• Tail recursion through universal invariants
• List-arithmetic distributive categories: Locoi
• Introduction to extensive and distributive categories
• Unnamed Item
• Unnamed Item
• Unnamed Item

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