Skip to main content
Article thumbnail
Location of Repository

Abstract

By W. P. Stekelenburg, P. Mulry, G. Rosolini and D. Scott

Abstract

maps is introduced to provide an instance of an 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 C when 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. The paper “Extensional PERs ” by P.Freyd, P.Mulry, G.Rosolini and D.Scott [2

Topics: category
Year: 2010
OAI identifier: oai:CiteSeerX.psu:10.1.1.352.4489
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.staff.science.uu.nl... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.