On defining objects by recursion in a topos

DOI10.1016/0022-4049(81)90067-0zbMath0459.18002OpenAlexW1966727783WikidataQ126408290 ScholiaQ126408290MaRDI QIDQ1151957

Robert D. Rosebrugh

Publication date: 1981

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

Full work available at URL: https://doi.org/10.1016/0022-4049(81)90067-0

zbMATH Keywords

recursion in a toposrecursion problem

Mathematics Subject Classification ID

Topoi (18B25)

Related Items (2)

Unnamed Item ⋮ On endomorphisms of internal presheaf topoi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On algebras defined by operations and equations in a topos

This page was built for publication: On defining objects by recursion in a topos