A Note on "Extensional PERs"

Details A Note on "Extensional PERs" A Note on "Extensional PERs"

2009-01-26

arxiv.org/abs/0901.3967v2

Mathematics

Logic

6 pages

Scientific paper

In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $\mathcal{C}$ 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 $\mathcal{C}$ when $\mathcal{C}$ 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.

Affiliated with

Also associated with

No associations

Rating

A Note on "Extensional PERs" does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Note on "Extensional PERs", we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Note on "Extensional PERs" will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-371857