A note on ``Extensional PERs

DOI10.1016/J.JPAA.2010.04.016MaRDI QIDQ615886zbMATH OpenOpenAlexFDO

Authors W. P. Stekelenburg

Publication date 7 January 2011

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

Full work available at URL https://arxiv.org/abs/0901.3967

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Semantics in the theory of computing (68Q55)

Abstract: In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $mathcalC$ of "pointed complete extensional PERs" and computable maps is introduced to provide an instance of an emph{algebraically compact category} relative to a restricted class of functors. Algebraic compactness is a synthetic condition on a category which ensures solutions of recursive equations involving endofunctors of the category. We extend that result to include all internal functors on $mathcalC$ when $mathcalC$ is viewed as a full internal category of the effective topos. This is done using two general results: one about internal functors in general, and one about internal functors in the effective topos.

Recommendations

• Extensional PERs
• scientific article; zbMATH DE number 4061467
• Algebraically compact functors
• scientific article; zbMATH DE number 4181330
• Recursive data types in algebraically -complete categories

Cites work

• scientific article; zbMATH DE number 431763 (Why is no real title available?)
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• A small complete category
• ABOUT MODEST SETS
• The Discrete Objects in the Effective Topos

Cited in

(3)

• A note on the extension principle
• Extensional PERs
• A note on end extensions

This page was built for publication: A note on ``Extensional PERs

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