Finite objects in a locos

DOI10.1016/S0022-4049(97)81630-1zbMATH Open0893.18003MaRDI QIDQ678844FDOQ678844

Authors: Barry Jay 

Publication date: 27 April 1997

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

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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to extensive and distributive categories
• Title not available (Why is that?)
• List-arithmetic distributive categories: Locoi
• Tail recursion through universal invariants

Cited In (2)

• Title not available (Why is that?)
• 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)